MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO
Subject's code : 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): 9780387948935 Título: LOGIC FOR APPLICATIONS (2) Autor/es: Richard A. Shore ; Anil Nerode ; Editorial: Springer
ISBN(13): 9780521527149 Título: MODAL LOGIC Autor/es: Patrick Blackburn ; Yde Venema ; Maarten De Rijke ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
ISBN(13): 9780521543101 Título: LOGIC IN COMPUTER SCIENCE (MODELLING AND REASONING ABOUT SYSTEMS) ((2nd edition)) Autor/es: Mark Ryan ; Michael Huth ; 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
ISBN(13): 9781558609327 Título: KNOWLEDGE REPRESENTATION AND REASONING Autor/es: Hector J. Levesque ; Ronald J. Brachman ; Editorial: MORGAN KAUFMANN PUBLISHERS
Esta bibliografía complementaria sólo se facilita por si se quiere profundizar opcionalmente en algún apartado. Muchos de estos textos (y otros) están disponibles para su lectura en línea a través de la Biblioteca UNED, por acuerdo con las editoriales (y tras autenticación como estudiante UNED).
