Reset Filters
Filter Related Topics: Logic programming
Filter Related Topics within your search.
Logic programming Congresses 64 Artificial intelligence 22 Automatic theorem proving 19 Functional programming (Computer science) 17 Constraint programming (Computer science) 15 Programmation logique 15 more ...
3
Extensional paramodulation for higher-order logic and its effective implementation Leo-III /

Cover is for reference only
Main Authors: Steen, Alexander
Published: IOS Press,
Publication Dates: [2018]
Call Number: TP301.6/S814
Book
Save to List
Saved in:
4
Foundations of probabilistic logic programming : languages, semantics, inference and learning /

Cover is for reference only
Main Authors: Riguzzi, Fabrizio
Published: River Publishers,
Publication Dates: [2018]
Call Number: TP311.1/R572
Book
Save to List
Saved in:
5
The little typer /

Cover is for reference only
Main Authors: Friedman, Daniel P
Group Author: Christiansen, David Thrane; Bibby, Duane; Harper, Robert, 1957; McBride, Conor
Published: The Massachusetts Institutie of Technology,
Publication Dates: [2018]
Call Number: TP311.1/F911
Book
Save to List
Saved in:
8
Declarative logic programming : theory, systems, and applications /

Cover is for reference only
Group Author: Kifer, M. Michael, 1954; Liu, Yanhong Annie, 1965
Published: Association for Computing Machinery,
Publication Dates: [2018]
Call Number: TP311/D295
Book
Save to List
Saved in:
9
Inference and learning systems for uncertain relational data /

Cover is for reference only
Main Authors: Cota, Giuseppe
Corporate Authors: IOS Press
Published: AKA Verlag,
Publication Dates: [2018]
Call Number: TP311/C843
Book
Save to List
Saved in:
10
From logic programming to human reasoning : how to be artificially human /

Cover is for reference only
Main Authors: Saldanha, Emmanuelle-Anna Dietz
Published: IOS Press ; Akademische Verlagsgesellschaft AKA GmbH,
Publication Dates: [2018]
Call Number: TP314/S162
Book
Save to List
Saved in:
11
Latest advances in inductive logic programming /

Cover is for reference only
Main Authors: Muggleton, Stephen
Corporate Authors: World Scientific Firm
Group Author: Watanabe, Hiroaki, 1969
Published: Imperial College Press ; Distributed by World Scientific Pub. Co.,
Publication Dates: 2015.
eBook
Save to List
Saved in:
12
Latest advances in inductive logic programming /

Cover is for reference only
Main Authors: Muggleton, Stephen
Group Author: Watanabe, Hiroaki, 1969
Published: Imperial College Press,
Publication Dates: [2015]
Call Number: TP181/M951
Book
Save to List
Saved in:
13
Reliability prediction from burn-in data fit to reliability models /

Cover is for reference only
Main Authors: Bernstein, Joseph B.
Corporate Authors: Elsevier Science & Technology.
Published: Elsevier,
Publication Dates: 2014.
eBook
Save to List
Saved in:
15
Programming logic and design : comprehensive /

Cover is for reference only
Main Authors: Farrell, Joyce
Corporate Authors: Course Technology, Inc
Published:
Call Number: TP311.1/F245/7th ed.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —