Logic Programming Computer Science

1,051 books
Information and Communication Technologies in Education, Research, and Industrial ApplicationsVadim Ermolayev
⏱ 5h 58m

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

2013358 pp.
Natural language understandingAllen, James
⏱ 10h 14m

Natural language understanding

Allen, James

1987614 pp.
Logic programmingRobert Kowalski
⏱ 28h 10m

Logic programming

Robert Kowalski

19881690 pp.
Membrane ComputingMarian Gheorghe
⏱ 6h 12m

Membrane Computing

Marian Gheorghe

2012372 pp.
Formal methods for components and objectsFrank S. de Boer
⏱ 4h 43m

Formal methods for components and objects

Frank S. de Boer

2004283 pp.
Logic in Computer ScienceMichael Huth
⏱ 7h 23m

Logic in Computer Science

Michael Huth

2000443 pp.
Professional Multicore ProgrammingCameron Hughes
⏱ 10h 12m

Professional Multicore Programming

Cameron Hughes

2008612 pp.
AlgorithmsUspenskiĭ, V. A.
⏱ 4h 29m

Algorithms

Uspenskiĭ, V. A.

1993269 pp.
Algorithmic logicGrażyna Mirkowska-Salwicka
⏱ 6h 20m

Algorithmic logic

Grażyna Mirkowska-Salwicka

1987380 pp.
Logic Programming '89Logic Programming Conference (8th 1989 Tokyo, Japan)
⏱ 3h 3m

Logic Programming '89

Logic Programming Conference (8th 1989 Tokyo, Japan)

1991183 pp.
Arithmetic and Logic in Computer SystemsMi Lu
⏱ 4h 6m

Arithmetic and Logic in Computer Systems

Mi Lu

2004246 pp.
The clausal theory of typesD. A. Wolfram
⏱ 2h 4m

The clausal theory of types

D. A. Wolfram

1993124 pp.
Foundations of Probabilistic Logic ProgrammingFabrizio Riguzzi
⏱ 4h 10m

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018250 pp.
Language and Automata Theory and ApplicationsAdrian-Horia Dediu
⏱ 10h 7m

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012607 pp.
Practical aspects of declarative languagesEnrico Pontelli
⏱ 3h 56m

Practical aspects of declarative languages

Enrico Pontelli

2000236 pp.
Mathematics in ComputingGerard O'Regan
⏱ 4h 57m

Mathematics in Computing

Gerard O'Regan

2012297 pp.
The Logic of Typed Feature StructuresRobert L. Carpenter
⏱ 4h 39m

The Logic of Typed Feature Structures

Robert L. Carpenter

1992279 pp.
Formal Techniques for Safety-Critical SystemsCyrille Artho
⏱ 4h 28m

Formal Techniques for Safety-Critical Systems

Cyrille Artho

2014268 pp.
Handbook of Automated ReasoningAndrei Voronkov
⏱ 27h 38m

Handbook of Automated Reasoning

Andrei Voronkov

20011658 pp.
Logic for applicationsAnil Nerode
⏱ 6h 51m

Logic for applications

Anil Nerode

1993411 pp.
← PreviousPage 2 of 53Next →