|
|
Biblioteca Dr. Antonio Monteiro · Catálogo |
| LDR | ·····nmm#a22·····5u#4500 |
| 001 | springer:978-3-540-33339-5 |
| 003 | Springer |
| 005 | 20110425123927.0 |
| 007 | cr#nn#008mamaa |
| 008 | 100301s2006\\\\xx\\\\\\\\\j\\\\\\\\eng#d |
| 020 | ## | $a 9783540333401 |
| 100 | 1# | $a MacCaull, Wendy. |
| 245 | 10 | $a Relational Methods in Computer Science $h [electronic resource] : $b 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / $c edited by Wendy MacCaull, Michael Winter, Ivo Düntsch. |
| 260 | ## | $a Berlin, Heidelberg : $b Springer Berlin Heidelberg, $c 2006. |
| 300 | ## | $b v.: digital |
| 440 | #0 | $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 3929 |
| 650 | #0 | $a Computer science. |
| 650 | #0 | $a Software engineering. |
| 650 | #0 | $a Logic design. |
| 650 | #0 | $a Computational complexity. |
| 650 | #0 | $a Algebra $x Data processing. |
| 650 | #0 | $a Artificial intelligence. |
| 650 | 14 | $a Computer Science. |
| 650 | 24 | $a Mathematical Logic and Formal Languages. |
| 650 | 24 | $a Software Engineering. |
| 650 | 24 | $a Logics and Meanings of Programs. |
| 650 | 24 | $a Symbolic and Algebraic Manipulation. |
| 650 | 24 | $a Artificial Intelligence (incl. Robotics) |
| 650 | 24 | $a Discrete Mathematics in Computer Science. |
| 700 | 1# | $a Winter, Michael. |
| 700 | 1# | $a Düntsch, Ivo. |
| 710 | 2# | $a SpringerLink (Online service) |
| 856 | 40 | $u http://dx.doi.org/10.1007/11734673 $y SpringerLink, via BECYT $z Acceso desde instituciones autorizadas |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com