Búsqueda por tema: Logic, Symbolic and mathematical
Mostrando 1-20 de 34 resultados, ordenados por
1. Logic and structure / Dirk van Dalen. — 5th ed. 2013

2. Logics of specification languages / Dines Bjørner, Martin C. Henson, editors. 2008

3. Commonsense reasoning / Erik T. Mueller. 2006

4. Logic-based artificial intelligence / edited by Jack Minker. 2000

5. Descriptive complexity / Neil Immerman. 1999

6. A textbook of belief dynamics : theory change and database updating / by Sven Ove Hansson. 1999

7. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.). 1998

8. Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. — 2nd ed. 1998

  
9. Essence of logic / John J. Kelly. 1997

  
10. Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott. 1996

11. Applied logic / Kaj Børge Hansen. 1996

12. Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. 1996

13. Logic and its applications / Edmund Burke and Eric Foxley. 1996

14. The Imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.]. 1996

15. First-order logic and automated theorem proving / Melvin Fitting. — 2nd ed. 1996

  
16. Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle. 1995

  
17. Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek. 1995

18. Logic and visual information / Eric M. Hammer. 1995

19. The semantic foundations of logic / Richard L. Epstein. — 2nd. edition. 1995

20. Language in action : categories, lambdas, and dynamic logic / Johan van Benthem. — 1st MIT Press ed. 1995


Explorar índices alfabéticos


Es suficiente con que ingrese las primeras letras. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)