Joé con er Gabbay!

este coleguita nos interesa por su facilidad de abducir a tra ves de la ab du cci o n! Handbook on tableaux methods / Edited by Marcello D'Agostino... [et al.] Publicac. Dordrecht ; Boston ; London : Kluwer, cop. 1999

UBICACIÓN	SIGNATURA	ESTADO	TIPO DE PRÉSTAMO
Humanidades-Depósito	FL H-33/1/41	DISPONIBLE	PRÉST. NORMAL
Informat.y Telecom.-Leng. y C.C.	EI LC/3443 1999	DISPONIBLE	PRÉST.POR DPTO

Des.física	VIII, 670 p. ; 25 cm
Bibliogr.	Bibliogr.: p. 631-655
	Indice
Materia	Cálculo de predicados
	Números algebraicos, Teoria de
Autor sec.	Gabbay, D.
	D'Agostino, Marcello, ed.
ISBN	0792356276
Clasificac.	511.1

Título Handbook of philosophical logic/ editors, D.M. Gabbay and F. Guenthner Publicac. Dordrecht,[etc]: Kluwer Academic Publishers, cop. 2001-2005 Edición 2nd ed.

UBICACIÓN	SIGNATURA	ESTADO	TIPO DE PRÉSTAMO
Informat.y Telecom.-Biblioteca	EIF-4/HAN,I Vol.I	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,II Vol.II	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,III Vol.III	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,IV Vol.IV	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,V Vol.V	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,VI Vol.VI	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,VII Vol.VII	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,VIII Vol.VIII	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,IX Vol.IX	DISPONIBLE	PRÉST.SALA
Informat.y Telecom.-Biblioteca	EIF-4/HAN,X Vol.X	DISPONIBLE	PRÉST.SALA

Des.física 13 vols.; 24 cm. Notas Contiene: Vol.1 a Vol.13 Materia Lógica simbólica y matemática Autor sec. Gabbay, D.M., ed. Guenthner, F., ed. ISBN 079237018x(vol.1) 0792371267(vol.2) 0792371607(vol.3) 1402001398(vol.4) 1402002351(vol.5) 1402005830(vol.6) 1402005997(vol.7) 1402006659(vol.8) 1402006993(vol.9) 1402016441(vol.10) 1402019661(vol.11) 1402030916(vol.12) 1402035209(vol.13) Clasificac. 510.6

AUTORES (1-5 de 5)

Gabbay, Dov M.

1 Agenda Relevance a Study in Formal Pragmatics Gabbay, Dov M. Amsterdam ; Boston : North Holland, 2003 No hay ejemplares disponibles Acceso al recurso 2003

2 Handbook of defeasible reasoning and uncertainty management systems Boston : Kluwer Academic, 1998- 7 vols. ; 25 cm. 7 ejemplares disponibles en Informat.y Telecom.-Biblioteca 1998-

3 Labelled deductive systems Gabbay, Dov M. Oxford : Clarendon Press, 1996 1 v XIII, 497 p. ; 24 cm 2 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic. y Pol.e Indust.-Mat. Apl. 1996

4 The reach of abduction insight and trial Gabbay, Dov M. Amsterdam ; San Diego, Calif. : Elsevier, 2005 xviii, 476 p. : ill. ; 23 cm. No hay ejemplares disponibles Acceso al recurso 2005

5 Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M. Oxford : Clarendon Pess, 1994 v ; 25 cm 3 ejemplares disponibles en Informat.y Telecom.-Leng. y C.C., Informat.y Telecom.-Matem. Aplic. y Humanidades-Depósito

AUTORES (1-6 de 6)

Gabbay, Dov M., 1945-

1 Handbook of temporal reasoning in artificial intelligence Amsterdam ; Boston : Elsevier, 2005 No hay ejemplares disponibles Acceso al recurso 2005

2 Handbook of the history of logic Amsterdam ; Boston : Elsevier, 2004- v. <1>p. : ill. ; 25 cm. No hay ejemplares disponibles Acceso al recurso 2004-

3 Handbook of the history of logic Amsterdam ; Boston : Elsevier, 2004- v. <1>p. : ill. ; 25 cm. No hay ejemplares disponibles Acceso al recurso 2004-

4 Handbook of the history of logic. Amsterdam : Elsevier North Holland ; Oxford : Elsevier Science [distributor],. 2006. p. cm. No hay ejemplares disponibles Acceso al recurso 2006

5 Many-dimensional modal logics theory and applications Amsterdam ; Boston : Elsevier North Holland, 2003. xviii, 747 p. ; 23 cm. No hay ejemplares disponibles Acceso al recurso 2003

6 The many valued and non-monotonic turn in logic Amsterdam ; London : North Holland, 2007. p. cm. No hay ejemplares disponibles Acceso al recurso

Título Mathematical problems from applied logic II : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. Publicac. New York : Springer, 2007

UBICACIÓN	SIGNATURA	ESTADO	TIPO DE PRÉSTAMO
Informat.y Telecom.-Matem. Aplic.	EI MA/2067,II Vol.II	DISPONIBLE	PRÉST.POR DPTO

Des.física	XXIX, 351 p. : il. ; 25 cm.
Colección	International Mathematical Series, 1571-5485 ; 5.
Notas	MSC 03-XX.
Bibliogr.	Incluye referencias bibliográficas e índice.
Materia	Lógica simbólica y matemática.
Autor sec.	Gabbay, Dov M., 1945- ed.
	Goncharov, Sergi S. ed.
	Zakharyaschev, Michael ed.
ISBN	0387692444
Clasificac.	510.6
	164

AUTORES (1-4 de 4)

Gabbay, Dov M., ed

1 Frontiers of combining systems 2 International Workshop on Frontiers of Combining Systems (2. 1998. Amsterdam) Baldock, England : Research Studies Press, cop. 2000 XIII, 407 p. ; 24 cm 1 ejemplar disponible en Informat.y Telecom.-Leng. y C.C. 2000

2 Handbook of logic in computer science. Oxford : Clarendon Press, 2000 XVIII, 537 p. ; 24 cm 2 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic. 2000

3 Handbook of quantum logic and quantum structures quantum structures Amsterdam : Elsevier, 2007 XVI, 801 p. 24 cm. 1 ejemplar disponible en Informat.y Telecom.-Matem. Aplic. Acceso al recurso 2007

4 Handbook of the logic of argument and inference the turn towards the practical Amsterdam, [etc.]: North-Holland, 2002. X, 498p.; 23cm. 2 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic. y Informat.y Telecom.-Leng. y C.C. Acceso al recurso 2002

AUTORES (1-19 de 19)

Gabbay, Dov M., ed. lit.

1 Handbook of logic in artificial intelligence and logic programming Oxford : Clarendon Press, 1993 XII, 518 p. ; 24 cm 3 ejemplares disponibles en Humanidades-Depósito y Pol.e Indust.-Mat. Apl. 1993

2 Handbook of logic in artificial intelligence and logic programming Oxford : Clarendon Press, 1994 XV, 509 p. ; 24 cm 2 ejemplares disponibles en Pol.e Indust.-Mat. Apl. 1994

3 Handbook of logic in artificial intelligence and logic programming Oxford : Clarendon Press, 1994 XVIII, 529 p. ; 24 cm 2 ejemplares disponibles en Pol.e Indust.-Mat. Apl. 1994

4 Handbook of logic in artificial intelligence and logic programming Oxford : Clarendon Press, 1995 XVI, 611 p. ; 24 cm 2 ejemplares disponibles en Pol.e Indust.-Mat. Apl. 1995

5 Handbook of logic in artificial intelligence and logic programming. Oxford : Clarendon Press, 1998 XV, 799 p. ; 24 cm 3 ejemplares disponibles en Informat.y Telecom.-Leng. y C.C., Informat.y Telecom.-Matem. Aplic. y Pol.e Indust.-Mat. Apl. 1998

6 Handbook of logic in computer science Oxford : Clarendon Press, 1992 XII, 827 p. ; 24 cm 3 ejemplares disponibles en Ciencias-Álg.,Geom. y Top., Informat.y Telecom.-Leng. y C.C. y Informat.y Telecom.-Matem. Aplic. 1992

7 Handbook of logic in computer science Oxford : Clarendon Press, 1992 X, 571 p. ; 24 cm 2 ejemplares disponibles en Informat.y Telecom.-Leng. y C.C. y Informat.y Telecom.-Matem. Aplic. 1992

8 Handbook of logic in computer science Oxford : Clarendon Press, 1994 XII, 490 p. ; 24 cm 4 ejemplares disponibles en Ciencias-Álg.,Geom. y Top., Informat.y Telecom.-Leng. y C.C., Informat.y Telecom.-Matem. Aplic. y Pol.e Indust.-Mat. Apl. 1994

9 Handbook of logic in computer science Oxford : Clarendon Press, 1995 XII, 651 p. ; 24 cm 3 ejemplares disponibles en Informat.y Telecom.-Leng. y C.C., Informat.y Telecom.-Matem. Aplic. y Pol.e Indust.-Mat. Apl. 1995

10 Handbook of philosophical logic. Dordrecht : Kluwer Academic, 1994 XII, 827 p. ; 24 cm 1 ejemplar disponible en Pol.e Indust.-Mat. Apl. 1994

11 Handbook of philosophical logic. Dordrecht [etc.] : Reidel, cop. 1983 XI, 493 p. ; 24 cm 3 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic., Humanidades-Depósito y Educ y Psicol.-Depósito 1983

12 Handbook of philosophical logic. Dordrecht : Kluwer Academic, 1994 X, 776 p. ; 24 cm 1 ejemplar disponible en Pol.e Indust.-Mat. Apl. 1994

13 Handbook of philosophical logic. Dordrecht [etc.] : Reidel, cop. 1984 X, 776 p. ; 24 cm 3 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic., Humanidades-Depósito y Educ y Psicol.-Depósito 1984

14 Handbook of philosophical logic. Dordrecht : Kluwer Academic, 2001 XIII, 408 p. ; 24 cm 1 ejemplar disponible en Informat.y Telecom.-Matem. Aplic. 2001

15 Handbook of philosophical logic. Dordrecht : Kluwer Academic, 1994 XII, 827 p. ; 24 cm 1 ejemplar disponible en Pol.e Indust.-Mat. Apl. 1994

16 Handbook of philosophical logic. Dordrecht [etc.] : Reidel, cop. 1986 X, 520 p. ; 24 cm 3 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic., Humanidades-Depósito y Educ y Psicol.-Depósito 1986

17 Handbook of philosophical logic. Dordrecht : Kluwer Academic, 1994 X, 720 p. ; 24 cm 1 ejemplar disponible en Pol.e Indust.-Ing.Mecán. 1994

18 Handbook of philosophical logic. Dordrecht [etc.] : Reidel, cop. 1989 X, 717 p. ; 24 cm 2 ejemplares disponibles en Informat.y Telecom.-Matem. Aplic. y Humanidades-Depósito 1989

19 Temporal logic : first international conference, ICTL'94.Bonn, Germany, July 11-14, 1994. Proceedings International Conference on Temporal logic (1a. 1994. Bonn,Germany) Berlin[etc] : Springer-Verlag, cop.1994 XI,545p. ; 24cm 1 ejemplar disponible en Informat.y Telecom.-Leng. y C.C. 1994