REBIUN - ODA

Descripción del título

Temporal logic : Mathematic...

Temporal logic : Mathematical foundations and computational aspects

Gabbay, D. (1945-),

Hodkinson, Ian,

Reynolds, Mark C.,

Clarendon Press 1994

Ver

Monografía

monografia Rebiun03771441 https://catalogo.rebiun.org/rebiun/record/Rebiun03771441 A10218s1994 enk || 001|0 eng d 0-19-853769-7 CBUC 991026411999706706 UM0075744 UDE 991004124279703351 B.U.S. Temporal logic Mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson and Mark Reynolds Oxford Clarendon Press 1994 Oxford Oxford Clarendon Press v < 1 > ; 24 cm v < 1 > ; 24 cm Oxford Logic Guides 23 Bibliograf.:p. 591-640 Lógica matemática Programación de ordenadores Gabbay, D. 1945-) editor Hodkinson, Ian editor Reynolds, Mark C. editor

• Localizaciones: 9
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun03771441

Cerrar

monografia Rebiun03771441 https://catalogo.rebiun.org/rebiun/record/Rebiun03771441 A10218s1994 enk || 001|0 eng d 0-19-853769-7 CBUC 991026411999706706 UM0075744 UDE 991004124279703351 B.U.S. Temporal logic Mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson and Mark Reynolds Oxford Clarendon Press 1994 Oxford Oxford Clarendon Press v < 1 > ; 24 cm v < 1 > ; 24 cm Oxford Logic Guides 23 Bibliograf.:p. 591-640 Lógica matemática Programación de ordenadores Gabbay, D. 1945-) editor Hodkinson, Ian editor Reynolds, Mark C. editor