MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO
Cod.31101184
BIBLIOGRAFÍA COMPLEMENTARIA
ISBN(13): 9780262032704 Título: MODEL CHECKING (2nd pr) Autor/es: Peled, Doron ; Grumberg, Orna ; Editorial: : THE MIT PRESS
ISBN(13): 9780262041423 Título: FROM LOGIC TO LOGIC PROGRAMMING Autor/es: Kees Doets ; Editorial: MIT PRESS
ISBN(13): 9780262562003 Título: REASONING ABOUT KNOWLEDGE Autor/es: Ronald Fagin ; Moshe Y. Vardi ; Yoram Moses ; Joseph Y. Halpern ; Editorial: MIT PRESS
ISBN(13): 9780521527149 Título: MODAL LOGIC Autor/es: Patrick Blackburn ; Yde Venema ; Maarten De Rijke ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
ISBN(13): 9780521630177 Título: PROPOSITIONAL LOGIC: DEDUCTION AND ALGORITHMS Autor/es: Theodor Lettmann ; Hans Kleine Büning ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
ISBN(13): 9780521876254 Título: THE DESCRIPTION LOGIC HANDBOOK: THEORY, IMPLEMENTATION AND APPLICATIONS ((2nd edition)) Autor/es: Franz Baader ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
ISBN(13): 9780817647629 Título: LOGIC FOR COMPUTER SCIENTIST Autor/es: Uwe Schöning ; Editorial: Birkhäuser Boston
Comentarios y anexos:
Aparte de los textos complementarios citados, aparecen recopilaciones recientes en forma de "Handbook of ...".
El lector puede consultar la existencia, en la Red, de "Handbook of ..." (Automated Reasoning, ó Tableaux Methods, ó Modal Logic u otros).
