Reset Filters
CLC: T - 工业技术

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.

1
Logical tools for handling change in agent-based systems

Cover is for reference only
Main Authors: Gabbay Dov M., 1945-
Corporate Authors: SpringerLink (Online service)
Group Author: Schlechta Karl.
Published: Springer,
Publication Dates: c2010.
Book
Save to List
Saved in:
2
Neural-symbolic cognitive reasoning

Cover is for reference only
Main Authors: D'Avila Garcez Artur S., 1970-
Corporate Authors: SpringerLink (Online service)
Group Author: Lamb Luis C.; Gabbay Dov M., 1945-
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
3
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:
4
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:
5
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:
Search Tools: Get RSS Feed — Email this Search —