Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por palabras del título: 11
Resultado 9 de 34
 
LDR ·····nmm#a22·····5u#4500
001 springer:978-3-540-74914-1
003 Springer
005 20110425123625.0
007 cr#nn#008mamaa
008 100301s2007\\\\xx\\\\\\\\\j\\\\\\\\eng#d
020 ## $a 9783540749158
100 1# $a Duparc, Jacques.
245 10 $a Computer Science Logic $h [electronic resource] : $b 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / $c edited by Jacques Duparc, Thomas A. Henzinger.
260 ## $a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2007.
300 ## $b v.: digital
440 #0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 4646
650 #0 $a Computer science.
650 #0 $a Logic design.
650 #0 $a Artificial intelligence.
650 #0 $a Logic, Symbolic and mathematical.
650 14 $a Computer Science.
650 24 $a Mathematical Logic and Formal Languages.
650 24 $a Artificial Intelligence (incl. Robotics)
650 24 $a Logics and Meanings of Programs.
650 24 $a Mathematical Logic and Foundations.
700 1# $a Henzinger, Thomas A.
710 2# $a SpringerLink (Online service)
856 40 $u http://dx.doi.org/10.1007/978-3-540-74915-8 $y SpringerLink, via BECYT $z Acceso desde instituciones autorizadas

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

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

Enlaces surtidos