Explore: Logisch Programmeren
Discover books, insights, and more — all in one place.
Learn more about Logisch Programmeren with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logisch-programmeren”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic programming
By Ewing Lusk and Ross A. Overbeek

“Logic programming” Metadata:
- Title: Logic programming
- Authors: Ewing LuskRoss A. Overbeek
- Language: English
- Number of Pages: Median: 1271
- Publisher: The MIT Press - MIT Press
- Publish Date: 1989
- Publish Location: Cambridge, Mass
“Logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Programmation logique - Logisch programmeren - Programacao De Computadores - Congrès
Edition Identifiers:
- The Open Library ID: OL2215747M - OL10238316M
- Online Computer Library Center (OCLC) ID: 507904778
- Library of Congress Control Number (LCCN): 89038942
- All ISBNs: 0262620642 - 9780262620642
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic programming and non-monotonic reasoning
By Luis Moniz Pereira and Anil Nerode

“Logic programming and non-monotonic reasoning” Metadata:
- Title: ➤ Logic programming and non-monotonic reasoning
- Authors: Luis Moniz PereiraAnil Nerode
- Language: English
- Number of Pages: Median: 494
- Publisher: The MIT Press - MIT Press
- Publish Date: 1993
- Publish Location: London - Cambridge, Mass
“Logic programming and non-monotonic reasoning” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Reasoning - Nonmonotonic reasoning - Nichtmonotone Logik - Nichtmonotones Schlie©en - Logisch programmeren - Kongre© - Logische Programmierung - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL1408459M - OL21219747M - OL10238472M
- Online Computer Library Center (OCLC) ID: 27814136
- Library of Congress Control Number (LCCN): 93017020
- All ISBNs: 9780262660839 - 0262660830
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic programming and non-monotonic reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Constraint satisfaction in logic programming
By Pascal Van Hentenryck

“Constraint satisfaction in logic programming” Metadata:
- Title: ➤ Constraint satisfaction in logic programming
- Author: Pascal Van Hentenryck
- Language: English
- Number of Pages: Median: 224
- Publisher: MIT Press
- Publish Date: 1989
- Publish Location: Cambridge, Mass
“Constraint satisfaction in logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Constraint programming (Computer science) - Programacao De Computadores - Programmation logique - Logisch programmeren - Logische Programmierung - Computer programming
Edition Identifiers:
- The Open Library ID: OL2060426M
- Online Computer Library Center (OCLC) ID: 18684466
- Library of Congress Control Number (LCCN): 88039784
- All ISBNs: 9780262081818 - 0262081814
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Constraint satisfaction in logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Logic programming and non-monotonic reasoning
By Anil Nerode, Wiktor Marek and V. S. Subrahmanian

“Logic programming and non-monotonic reasoning” Metadata:
- Title: ➤ Logic programming and non-monotonic reasoning
- Authors: Anil NerodeWiktor MarekV. S. Subrahmanian
- Language: English
- Number of Pages: Median: 295
- Publisher: MIT Press - The MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
“Logic programming and non-monotonic reasoning” Subjects and Themes:
- Subjects: ➤ Logic programming - Nonmonotonic reasoning - Programmation logique - Raisonnement - Kongress - Wissensbasiertes System - Congresses - Nichtmonotones Schlie©en - Logisch programmeren - Congre s. - Schlussfolgern - Logische Programmierung - Reasoning - Parallel programming (computer science)
Edition Identifiers:
- The Open Library ID: OL1537746M - OL10238422M
- Online Computer Library Center (OCLC) ID: 23769586
- Library of Congress Control Number (LCCN): 91016074
- All ISBNs: 9780262640275 - 0262640279
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic programming and non-monotonic reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Foundations of logic programming
By Lloyd, J. W.

“Foundations of logic programming” Metadata:
- Title: ➤ Foundations of logic programming
- Author: Lloyd, J. W.
- Language: English
- Number of Pages: Median: 168
- Publisher: Springer-Verlag
- Publish Date: 1984 - 1987
- Publish Location: New York - Berlin
“Foundations of logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Programming languages (Electronic computers) - Semantics - Programmation logique - Langages de programmation - Sémantique - Logisch programmeren - Logische Programmierung - Einführung - Computer programming - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL2857658M - OL2391367M
- Online Computer Library Center (OCLC) ID: 11186391 - 16404599
- Library of Congress Control Number (LCCN): 87020753 - 84020277
- All ISBNs: 9780387181998 - 0387181997 - 0387132996 - 9780387132990
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Foundations of logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic and its applications
By Edmund Burke and Eric Foxley

“Logic and its applications” Metadata:
- Title: Logic and its applications
- Authors: Edmund BurkeEric Foxley
- Language: English
- Number of Pages: Median: 310
- Publisher: Prentice Hall
- Publish Date: 1996
“Logic and its applications” Subjects and Themes:
- Subjects: ➤ Kunstmatige intelligentie - Logic programming - Mathematische Logik - Symbolic and mathematical Logic - Predicatenlogica - Logisch programmeren
Edition Identifiers:
- The Open Library ID: OL10075453M
- Library of Congress Control Number (LCCN): 95049896
- All ISBNs: 0130302635 - 9780130302632
Author's Alternative Names:
"Edmund 1729?-1797 Reflections O. Burke", "Edmund 1729-1797 Reflections on Burke", "Burke, Edmund, 1729?-1797", "Edmund 1729?-1797 Appeal from T. Burke", "Edmond Burke", "Edmund 1729-1797 Letter from Th Burke", "Edmund 1729?-1797 Speech of Edm Burke", "Edmund 1729?-1797 Burke", "Burke Edmund 1729-1797" and "Burke, Edmund"Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic and its applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Discrete structures, logic, and computability
By James L. Hein

“Discrete structures, logic, and computability” Metadata:
- Title: ➤ Discrete structures, logic, and computability
- Author: James L. Hein
- Language: English
- Number of Pages: Median: 943
- Publisher: ➤ World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
- Publish Date: ➤ 1994 - 1995 - 2002 - 2010 - 2015 - 2016
- Publish Location: ➤ Sudbury, Mass - Boston - Burlington, MA
“Discrete structures, logic, and computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Computer science - Data structures (Computer science) - Logic programming - Logic, Symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Traitement automatique des données - Mathematische Logik - Automatische bewijsvoering - Berechenbarkeit - Diskrete Mathematik - Berekenbaarheid - Logisch programmeren - Computer science, mathematics - Computer science--mathematics - Data structures (computer science) - Logic, symbolic and mathematical - Qa76.9.m35
Edition Identifiers:
- The Open Library ID: ➤ OL1104046M - OL1435849M - OL30395820M - OL36307860M - OL40246309M - OL18386190M - OL23150212M - OL28582566M
- Online Computer Library Center (OCLC) ID: 49887666 - 910073074 - 290423157
- Library of Congress Control Number (LCCN): 93048045 - 2015019684 - 94029101 - 2008055744 - 2001038122
- All ISBNs: ➤ 9780867204773 - 9789380108391 - 9780763718435 - 0867204672 - 0763718432 - 9780763772062 - 086720477X - 0763772062 - 1284070409 - 9781284070408 - 1449615279 - 9781284099867 - 9780867204674 - 9380108397 - 1284099865 - 9781449615277
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Discrete structures, logic, and computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Knowledge in Action
By Raymond Reiter

“Knowledge in Action” Metadata:
- Title: Knowledge in Action
- Author: Raymond Reiter
- Language: English
- Number of Pages: Median: 446
- Publisher: MIT Press - The MIT Press
- Publish Date: 2001
“Knowledge in Action” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Knowledge representation (Information theory) - Symbolic and mathematical Logic - Logic, symbolic and mathematical - Expert systems (computer science) - Knowledge representation (information theory) - Information theory - Logic - Information Theory - Expert Systems - Représentation des connaissances - Systèmes experts (Informatique) - Logique symbolique et mathématique - Théorie de l'information - Logique - COMPUTERS - Kennisrepresentatie - Logisch programmeren - Engineering & Applied Sciences - Computer Science
Edition Identifiers:
- The Open Library ID: OL53283653M - OL29752694M - OL29593364M - OL9723676M
- Online Computer Library Center (OCLC) ID: 52289251 - 46456413
- Library of Congress Control Number (LCCN): 2001030522
- All ISBNs: ➤ 0262282313 - 9780585448305 - 9780262182188 - 0262264315 - 0585448302 - 9780262282314 - 9780262264310 - 0262182181
First Setence:
"Heraclitus reminds us that we cannot step into the same river twice."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Knowledge in Action at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Programming with constraints
By Kim Marriott

“Programming with constraints” Metadata:
- Title: Programming with constraints
- Author: Kim Marriott
- Language: English
- Number of Pages: Median: 467
- Publisher: MIT Press
- Publish Date: 1998
- Publish Location: Cambridge, Mass
“Programming with constraints” Subjects and Themes:
- Subjects: ➤ Logic programming - Constraint programming (Computer science) - Constraint programming (computer science) - Programmation logique - Logisch programmeren - Programmation par contraintes - Logische Programmierung - Constraints (informatiewetenschap)
Edition Identifiers:
- The Open Library ID: OL53281063M - OL693300M
- Library of Congress Control Number (LCCN): 97040549
- All ISBNs: 0585309639 - 0262133415 - 9780262133418 - 9780585309637
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programming with constraints at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Programming language implementation and logic programming
By PLILP '91 (1991 Passau, Germany), Germany) Plilp 9 (1991 Passau, J. Maluszynski and J. Mauszynski

“Programming language implementation and logic programming” Metadata:
- Title: ➤ Programming language implementation and logic programming
- Authors: ➤ PLILP '91 (1991 Passau, Germany)Germany) Plilp 9 (1991 PassauJ. MaluszynskiJ. Mauszynski
- Language: English
- Number of Pages: Median: 433
- Publisher: Springer - Springer-Verlag
- Publish Date: 1991
- Publish Location: Berlin - New York
“Programming language implementation and logic programming” Subjects and Themes:
- Subjects: ➤ Congresses - Logic programming - Programming languages (Electronic computers) - Software engineering - Functionele programmering - Programmeertalen - Logic design - Computer science - Logisch programmeren - Artificial intelligence - Computer software
Edition Identifiers:
- The Open Library ID: OL7446854M - OL9060683M - OL1545981M
- Online Computer Library Center (OCLC) ID: 24216921
- Library of Congress Control Number (LCCN): 91025204
- All ISBNs: 9783540544449 - 9780387544441 - 0387544445 - 3540544445
First Setence:
"Standard ML of New Jersey is a compiler and programming environment for the Standard ML language[26] that has been continuously developed since early 1986."
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programming language implementation and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11From logic to logic programming
By Kees Doets

“From logic to logic programming” Metadata:
- Title: ➤ From logic to logic programming
- Author: Kees Doets
- Language: English
- Number of Pages: Median: 221
- Publisher: MIT Press
- Publish Date: 1994 - 2016
- Publish Location: Cambridge, Mass
“From logic to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Wiskundige logica - Langages de programmation - Resolventenprinzip - Programmation logique - Logisch programmeren - Logique
Edition Identifiers:
- The Open Library ID: OL29755807M - OL1398593M
- Online Computer Library Center (OCLC) ID: 28666357
- Library of Congress Control Number (LCCN): 93006196
- All ISBNs: 9780262339162 - 0262339161 - 0262041421 - 9780262041423
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find From logic to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Foundations of Logic and Functional Programming Workshop
By Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

“Foundations of Logic and Functional Programming Workshop” Metadata:
- Title: ➤ Foundations of Logic and Functional Programming Workshop
- Author: ➤ Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)
- Language: English
- Number of Pages: Median: 218
- Publisher: Springer
- Publish Date: 1988
“Foundations of Logic and Functional Programming Workshop” Subjects and Themes:
- Subjects: ➤ Logique symbolique et mathématique - Symbolic and mathematical Logic - Programmation logique - Functional programming (Computer science) - Functionele programmering - Congrès - Congresses - Programmation fonctionnelle - Logisch programmeren - Funktionale Programmierung - Logische Programmierung
- Places: Trient <1986>
Edition Identifiers:
- The Open Library ID: OL12772725M
- All ISBNs: 9783540191292 - 3540191291
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Logic and Functional Programming Workshop at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Inductive logic programming
By Stan Matwin

“Inductive logic programming” Metadata:
- Title: Inductive logic programming
- Author: Stan Matwin
- Language: English
- Number of Pages: Median: 351
- Publisher: Springer
- Publish Date: 2003
“Inductive logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Induktive Logik - INTELIGENCIA ARTIFICIAL - Kongress - Kunstmatige intelligentie - Logische Programmierung - Logisch programmeren - TEORIA E TECNICAS DE PROGRAMACʹAO
Edition Identifiers:
- The Open Library ID: OL9894152M - OL35886760M
- Online Computer Library Center (OCLC) ID: 51566417
- Library of Congress Control Number (LCCN): 2003042482
- All ISBNs: 9783540364689 - 3540005676 - 9783540005674 - 3540364684
First Setence:
"Automatically building conceptual classifications has been the subject of much research during the last twenty years (Michalski 81, German 89, De Raedt 01)."
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Advances in inductive logic programming
By Luc de Raedt

“Advances in inductive logic programming” Metadata:
- Title: ➤ Advances in inductive logic programming
- Author: Luc de Raedt
- Language: English
- Number of Pages: Median: 329
- Publisher: IOS Press
- Publish Date: 1996
- Publish Location: Washington, DC - Amsterdam
“Advances in inductive logic programming” Subjects and Themes:
- Subjects: Logic programming - Induction (Logic) - Logisch programmeren
Edition Identifiers:
- The Open Library ID: OL20498411M - OL9100905M
- Online Computer Library Center (OCLC) ID: 47718053
- Library of Congress Control Number (LCCN): 95080848
- All ISBNs: 4274900703 - 9784274900709 - 9789051992427 - 9051992424
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Interactive relational database design
By Tapan P. Bagchi

“Interactive relational database design” Metadata:
- Title: ➤ Interactive relational database design
- Author: Tapan P. Bagchi
- Language: English
- Number of Pages: Median: 186
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Interactive relational database design” Subjects and Themes:
- Subjects: ➤ Database design - Logic programming - Relational databases - Database management - Adatbázis tervezés - Bases de données - Conception - Bases de données relationnelles - Programmation logique - Relationales Datenbanksystem - Datenbankentwurf - TURBO-PROLOG - Relationele databanken - Logisch programmeren
Edition Identifiers:
- The Open Library ID: OL2206177M
- Online Computer Library Center (OCLC) ID: 20563388
- Library of Congress Control Number (LCCN): 89028248
- All ISBNs: 9780387518817 - 0387518819
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Interactive relational database design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Logic programming
By Vladimir Lifschitz

“Logic programming” Metadata:
- Title: Logic programming
- Author: Vladimir Lifschitz
- Language: English
- Number of Pages: Median: 480
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2004
“Logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Open Source - COMPUTERS - Programming - General - Software Development & Engineering - Logisch programmeren - Tools
Edition Identifiers:
- The Open Library ID: OL37093241M - OL9451450M
- Online Computer Library Center (OCLC) ID: 56425791
- Library of Congress Control Number (LCCN): 2004110708
- All ISBNs: 3540226710 - 9783540277750 - 9783540226710 - 3540277757
First Setence:
"For as long as there have been algorithms, the question of their termination - though undecidable, in general - has had to be addressed."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17From logic design to logic programming
By Dominique Snyers

“From logic design to logic programming” Metadata:
- Title: ➤ From logic design to logic programming
- Author: Dominique Snyers
- Language: English
- Number of Pages: Median: 127
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: London - Berlin
“From logic design to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Algorithms - Automatic theorem proving - Logischer Entwurf - Théorèmes - Conception logique - Grammaire algébrique - Logisch programmeren - Démonstration théorème - Programmierlogik - Algorithmes - Structure logique - Formale Semantik - Fonction P. - Programmation logique - Programmation déclarative - Logique mathématique - Computer algorithms - Démonstration automatique - Automatisches Beweisverfahren - Programmation en logique - Sémantique
Edition Identifiers:
- The Open Library ID: OL27999951M - OL21342228M
- Online Computer Library Center (OCLC) ID: 16466351
- Library of Congress Control Number (LCCN): 87020773
- All ISBNs: 9780387182179 - 9783540182177 - 3540182179 - 0387182179
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find From logic design to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Programming language implementation and logic programming
By PLILP '92 (1992 Louvain, Belgium), Belgium) Plilp 9 (1992 Louvain and Maurice Bruynooghe

“Programming language implementation and logic programming” Metadata:
- Title: ➤ Programming language implementation and logic programming
- Authors: ➤ PLILP '92 (1992 Louvain, Belgium)Belgium) Plilp 9 (1992 LouvainMaurice Bruynooghe
- Language: English
- Number of Pages: Median: 492
- Publisher: Springer-Verlag - Springer
- Publish Date: 1992
- Publish Location: New York - Berlin
“Programming language implementation and logic programming” Subjects and Themes:
- Subjects: ➤ Congresses - Logic programming - Programming languages (Electronic computers) - Langages de programmation - Congrès - Programmation logique - Logisch programmeren - Functionele programmering - Programmeertalen
Edition Identifiers:
- The Open Library ID: OL7447144M - OL1722868M
- Online Computer Library Center (OCLC) ID: 26304995
- Library of Congress Control Number (LCCN): 92026380
- All ISBNs: 0387558446 - 9780387558448
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Programming language implementation and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Foundations of equational logic programming
By Steffen Hölldobler

“Foundations of equational logic programming” Metadata:
- Title: ➤ Foundations of equational logic programming
- Author: Steffen Hölldobler
- Language: English
- Number of Pages: Median: 250
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Foundations of equational logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Mathematical logic - Programming languages - Matematikai logika - Programozási nyelvek - Programmation logique - Logische Programmierung - Gleichungstheorie - Logisch programmeren - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL2200289M - OL21343320M
- Online Computer Library Center (OCLC) ID: 20418130
- Library of Congress Control Number (LCCN): 89021878
- All ISBNs: 038751533X - 9780387515335
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of equational logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Logic programming
By Maurizio Gabbrielli and Gopal Gupta

“Logic programming” Metadata:
- Title: Logic programming
- Authors: Maurizio GabbrielliGopal Gupta
- Language: English
- Number of Pages: Median: 454
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2005
“Logic programming” Subjects and Themes:
- Subjects: Logic programming - Logisch programmeren - Programmation logique - Congresses - Congrès
Edition Identifiers:
- The Open Library ID: OL37121715M - OL9438694M
- Online Computer Library Center (OCLC) ID: 61766592
- Library of Congress Control Number (LCCN): 2005932757
- All ISBNs: 9783540292081 - 9783540319474 - 354029208X - 3540319476
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Logic Programming
By Peter J. Stuckey

“Logic Programming” Metadata:
- Title: Logic Programming
- Author: Peter J. Stuckey
- Language: English
- Number of Pages: Median: 486
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2002 - 2003
“Logic Programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Programmation logique - Logisch programmeren - Logische Programmierung - Congrès - Computer science - Logic design - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL37229607M - OL12775270M
- Online Computer Library Center (OCLC) ID: 50254569
- All ISBNs: 9783540439301 - 3540439307 - 3540456198 - 9783540456193
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Logic Programming
By Krzysztof Apt

“Logic Programming” Metadata:
- Title: Logic Programming
- Author: Krzysztof Apt
- Language: English
- Number of Pages: Median: 869
- Publisher: The MIT Press
- Publish Date: 1992
“Logic Programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Logische Programmierung - Programmation logique - Logisch programmeren - Kongress - Congrès
Edition Identifiers:
- The Open Library ID: OL10237819M
- Online Computer Library Center (OCLC) ID: 28294942
- Library of Congress Control Number (LCCN): 92061965
- All ISBNs: 9780262510646 - 0262510642
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986
By International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology)

“Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986” Metadata:
- Title: ➤ Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986
- Author: ➤ International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology)
- Language: English
- Number of Pages: Median: 720
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: New York - Berlin
“Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Programmation logique - Congrès - Logisch programmeren - Programmierung - Logik - Kongress - Logische Programmierung - PROLOG - Aufsatzsammlung
Edition Identifiers:
- The Open Library ID: OL22055483M
- Online Computer Library Center (OCLC) ID: 13761807
- Library of Congress Control Number (LCCN): 86013477
- All ISBNs: 0387164928 - 9783540164920 - 3540164928 - 9780387164922
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Programming languages implementation and logic programming
By PLILP '88 (1988 Orléans, France)

“Programming languages implementation and logic programming” Metadata:
- Title: ➤ Programming languages implementation and logic programming
- Author: ➤ PLILP '88 (1988 Orléans, France)
- Language: English
- Number of Pages: Median: 299
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: New York - Berlin
“Programming languages implementation and logic programming” Subjects and Themes:
- Subjects: ➤ Congresses - Logic programming - Programming languages (Electronic computers) - Programmation - Congrès - Langages de programmation - Grammaire algébrique - Logisch programmeren - Langage algorithmique - Programmation en logique - Programmation logique - Implémentation langage - Programmeertalen - Programmation fonctionnelle - Ordinateurs - Functionele programmering - Grammaire attribuée - PROLOG
Edition Identifiers:
- The Open Library ID: OL2186183M
- Online Computer Library Center (OCLC) ID: 19128602 - 237222341
- Library of Congress Control Number (LCCN): 89004195
- All ISBNs: 9780387508207 - 0387508201
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Programming languages implementation and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Inductive logic programming
By ILP-99 (9th 1999 Bled, Slovenia)

“Inductive logic programming” Metadata:
- Title: Inductive logic programming
- Author: ➤ ILP-99 (9th 1999 Bled, Slovenia)
- Language: English
- Number of Pages: Median: 302
- Publisher: Springer
- Publish Date: 1999
- Publish Location: New York - Berlin
“Inductive logic programming” Subjects and Themes:
- Subjects: Logic programming - Induction (Logic) - Logisch programmeren - Kunstmatige intelligentie - Congresses
Edition Identifiers:
- The Open Library ID: OL15465157M
- Online Computer Library Center (OCLC) ID: 41431684 - 504551068
- Library of Congress Control Number (LCCN): 99032073
- All ISBNs: 3540661093 - 9783540661092
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Logic Programming
By Philippe Codognet

“Logic Programming” Metadata:
- Title: Logic Programming
- Author: Philippe Codognet
- Language: English
- Number of Pages: Median: 365
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2001 - 2003
“Logic Programming” Subjects and Themes:
- Subjects: ➤ Programmation sous contrainte - Programmation logique - Logique line aire - Kongress - Logique mathe matique - Logic programming - Se mantique programme - Congresses - Logique informatique - Logisch programmeren - Congre s. - Programmation en logique - Logische Programmierung - Ve rification formelle - logique linéaire - logique mathématique - sémantique programme - programmation sous contrainte - vérification formelle - logique informatique - programmation en logique
Edition Identifiers:
- The Open Library ID: OL9684581M - OL37150128M
- All ISBNs: 9783540456353 - 354045635X - 9783540429357 - 3540429352
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.