Handbook of logic in artificial intelligence and logic programming / ed. Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Secondary Author Gabbay, Dov M., 1945-
Hogger, C. J.
Robinson, J. A.
Siekmann, J.
Nute, D. Country Reino Unido. Publication Oxford : Clarendon Press, 1993-19-- Description v. ; 24 cm ISBN 0-19-853745-X (v.1)
0-19-853746-8 (v.2)
0-19-853747-6 (v.3)
0-19-853791-3 (v.4) Contents note vol.1 : Logical foundations / coord. J. Siekmann. - 1993. - XIII, 518 p vol.2 : Deduction methodologies / coord. J. Siekmann. - 1994. - XV, 511 p vol.3 : Nonmonotonic reasoning and uncertain reasoning / coord. D. Nute. - 1994. - XIX, 529 p vol.4 : Epistemic and temporal reasoning. - 1995. - XVI, 611 p CDU 519.6 681.3

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 8 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Vol info	Status	Barcode
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 47595	LIVRO vol.1	Available	127785
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 47596	LIVRO vol.2	Available	127786
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109348	LIVRO vol.3	Available	127787
Monografia	Biblioteca da UMinho no Campus de Azurém	BPG3 519.6 - H	LIVRO vol.1	Available	144126
Monografia	Biblioteca da UMinho no Campus de Azurém	BPG3 519.6 - H	LIVRO vol.2	Available	144127
Monografia	Biblioteca da UMinho no Campus de Azurém	BPG3 519.6 - H	LIVRO vol.3	Available	144128
Monografia	Biblioteca da UMinho no Campus de Azurém	BPG3 519.6 - H	LIVRO vol.4	Available	144129
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109347	LIVRO vol.4	Available	150320