Author Results for Gabbay, Dov M., 1945-

Gabbay,Dov M.,
SpringerLink (Online service)
Elsevier Science & Technology
Guenthner,Franz
(John Alan)
see all »
Hogger,Christopher John
Robinson,J.A.
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
D'Avila Garcez,Artur S.,
Goncharov,S. S.

21
Neural-symbolic learning systems foundations and applications

Cover is for reference only
Main Authors: D'Avila Garcez Artur S., 1970-
Group Author: Broda Krysia, 1949-; Gabbay Dov M., 1945-
Published: Springer,
Publication Dates: c2002.
Call Number: TP183/D259
Book
Save to List
Saved in:
23
Handbook of logic in artificial intelligence and logic programming

Cover is for reference only
Group Author: Gabbay Dov M., 1945-; Hogger Christopher John.; Robinson J.A.; (John Alan)
Published: Clarendon Press,
Publication Dates: 1993-
Call Number: TP18-62/H236/
Book
Save to List
Saved in:
24
Handbook of logic in artificial intelligence and logic programming

Cover is for reference only
Group Author: Gabbay Dov M., 1945-; Hogger Christopher John.; Robinson J.A.; (John Alan)
Published: Clarendon Press,
Publication Dates: 1993-
Call Number: TP18-62/H236/
Book
Save to List
Saved in:
25
The functional interpretation of logical deduction

Cover is for reference only
Main Authors: Queiroz Ruy J. G. B. de.
Group Author: Gabbay Dov M., 1945-; Oliveira Anjolina G. de.
Published: World Scientific,
Publication Dates: c2012.
Call Number: O141/Q385
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —