Logic Programming Computer Science

1,051 books
Foundations of Declarative Testing and Debugging in Logic Programming (Computer Science and Computer Engineering Series)Song Y. Yan

Foundations of Declarative Testing and Debugging in Logic Programming (Computer Science and Computer Engineering Series)

Song Y. Yan

1996No page data
The Little TyperDaniel P. Friedman
⏱ 7h 4m

The Little Typer

Daniel P. Friedman

2018424 pp.
Introduction to automata theory, languages, and computationJohn E. Hopcroft
⏱ 8h 45m

Introduction to automata theory, languages, and computation

John E. Hopcroft

1979525 pp.
Programming in PrologWilliam F. Clocksin
⏱ 4h 41m

Programming in Prolog

William F. Clocksin

1981281 pp.
A first course in fuzzy logicHung T. Nguyen
⏱ 7h 20m

A first course in fuzzy logic

Hung T. Nguyen

1997440 pp.
Discrete structures, logic, and computabilityJames L. Hein
⏱ 15h 43m

Discrete structures, logic, and computability

James L. Hein

1994943 pp.
Structured Object-Oriented Formal Language and MethodShaoying Liu
⏱ 3h 39m

Structured Object-Oriented Formal Language and Method

Shaoying Liu

2013219 pp.
Logical Foundations of Computer ScienceSergei Artemov
⏱ 6h 47m

Logical Foundations of Computer Science

Sergei Artemov

2007407 pp.
Evaluation of Novel Approaches to Software EngineeringLeszek A. Maciaszek
⏱ 3h 34m

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

2011214 pp.
Reachability ProblemsParosh Aziz Abdulla
⏱ 3h 43m

Reachability Problems

Parosh Aziz Abdulla

2010223 pp.
Constraint logic programmingFrédéric Benhamou
⏱ 8h 13m

Constraint logic programming

Frédéric Benhamou

1993493 pp.
The logic of knowledge basesHector J. Levesque
⏱ 4h 42m

The logic of knowledge bases

Hector J. Levesque

2000282 pp.
A Beginner's Guide to Discrete MathematicsW. D. Wallis
⏱ 6h 46m

A Beginner's Guide to Discrete Mathematics

W. D. Wallis

2002406 pp.
Programming LogicsAndrei Voronkov
⏱ 7h 36m

Programming Logics

Andrei Voronkov

2013456 pp.
A science of operationsMark Priestley
⏱ 5h 41m

A science of operations

Mark Priestley

2010341 pp.
Trends in Functional ProgrammingJurriaan Hage
⏱ 2h 41m

Trends in Functional Programming

Jurriaan Hage

2013161 pp.
A mathematical introduction to logicHerbert B. Enderton
⏱ 5h 6m

A mathematical introduction to logic

Herbert B. Enderton

1972306 pp.
Constraint logic programming using ECLiPSeKrzysztof R. Apt
⏱ 5h 29m

Constraint logic programming using ECLiPSe

Krzysztof R. Apt

2006329 pp.
Rules and ReasoningStefania Costantini
⏱ 3h 59m

Rules and Reasoning

Stefania Costantini

2017239 pp.
Neural network and fuzzy logic applications in C/C++Stephen T. Welstead
⏱ 8h 14m

Neural network and fuzzy logic applications in C/C++

Stephen T. Welstead

1994494 pp.
Page 1 of 53Next →