Advances in temporal logic /

Guardado en:
Detalles Bibliográficos
Otros Autores: Barringer, Howard (Editor ), Fischer, Michael, Gabbay, Dov, Gough, Graham
Formato: Libro
Lenguaje:Inglés
Publicado: Dordrecht : Kluwer Academic, 2000
Colección:Applied logic; no. 16
Materias:
Computación
Inteligencia artificial
Lógica temporal
Aporte de:Registro referencial: Solicitar el recurso aquí
Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro
LEADER 00726nam a2200253 4500
001 029243
003 arbauncb
008 150429s2000 ne g 000 0 eng d
005 20171018132349.0
040 |a AR-BaUNCB  |c AR-BaUNCB 
245 1 0 |a Advances in temporal logic /  |c editado por Howard Barringer ... [et al.]. 
260 |a Dordrecht :  |b Kluwer Academic,  |c 2000 
440 0 |a Applied logic;  |v no. 16 
300 |a 453 p.  |c 23 cm 
020 |a 0792361490 
100 1 |a Barringer, Howard  |4 edt 
700 1 |a Fischer, Michael 
700 1 |a Gabbay, Dov 
700 1 |a Gough, Graham 
082 0 4 |a 001.535 
650 7 |a Computación  |2 mpirdes 
650 7 |a Inteligencia artificial  |2 mpirdes 
653 |a Lógica temporal 
999 |c 29150  |d 29150 

Ejemplares similares