Busquedas:
- Autor/Editor: Jauho, Antti-Pekka
- Autor/Editor: Castillo, L R F
- Autor/Editor: Blum, Walter
- Autor/Editor: O'Dowd, Colin D.
- Autor/Editor: Williams, J H
- Autor/Editor: Petz, Dénes
- Autor/Editor: Musette, Micheline
- Autor/Editor: Heywang, Walter
- Autor/Editor: Inguscio, Massimo
- Autor/Editor: Erko, Alexei
- Keyword: Men
- Autor/Editor: Grover, Rohit
- Autor/Editor: Hülsenberg, Dagmar
- Autor/Editor: Imry, Yosef
- Autor/Editor: Becker, Uwe
- Autor/Editor: Allain, R
- Keyword: Astronomy
- Keyword: Cultural Policy
- Autor/Editor: Caner, Alessandra
- Autor/Editor: Ferrante, Gaetano
- Autor/Editor: Popescu, Aurel
- Autor/Editor: Webb, J R
- Autor/Editor: Goitein, Michael
- Autor/Editor: Ansorge, R
- Autor/Editor: Hermanns, Marc-André
1/1
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: De Nivelle, Hans
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Artificial Intelligence (incl. Robotics) - Mathematical Logic and Formal Languages - Programming Techniques - Software Engineering - Discrete Mathematics in Computer Science - Logics and Meanings of Programs
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9323
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-24312-2
ISSN-e: 1611-3349