Busquedas:
- Autor/Editor: Ravindra, N. M.
- Autor/Editor: Lebed, Andrei
- Autor/Editor: Rothenberger, Marcus
- Autor/Editor: Decker, Carolin
- Autor/Editor: Crothers, D.S.F.
- Autor/Editor: Erko, Alexei
- Autor/Editor: Shou, Biying
- Autor/Editor: Merle, A.
- Autor/Editor: Popescu, Aurel
- Autor/Editor: Ansorge, R
- Autor/Editor: Dutta, Kaushik
- Keyword: Men
- Autor/Editor: Borsali, Redouane
- Autor/Editor: Tchelnokov, Alexei
- Autor/Editor: Yamani, Hashim A.
- Autor/Editor: Shafranov, Vitalii Dmitrievich
- Autor/Editor: Mathai, A. M.
- Autor/Editor: Forte, Stefano
- Autor/Editor: Conte, Robert
- Autor/Editor: Beeson, Steven
- Autor/Editor: Petz, Dénes
- Autor/Editor: Meijer, Sebastiaan
- Autor/Editor: Becker, Uwe
- Autor/Editor: Meghwal, Murlidhar
- Autor/Editor: Andersen, Marilyne
- Autor/Editor: Webb, J R
- Autor/Editor: Skutella, Martin
- Autor/Editor: Liu, Chuanlu
- Autor/Editor: Pak, Namik Kemal
- Keyword: Cultural Policy
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