Explore: Logische Programmierung
Discover books, insights, and more — all in one place.
Learn more about Logische Programmierung with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logische-programmierung”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Foundations of Disjunctive Logic Programming
By Jorge Lobo

“Foundations of Disjunctive Logic Programming” Metadata:
- Title: ➤ Foundations of Disjunctive Logic Programming
- Author: Jorge Lobo
- Language: English
- Number of Pages: Median: 307
- Publisher: MIT Press
- Publish Date: 1992
- Publish Location: Cambridge, Mass
“Foundations of Disjunctive Logic Programming” Subjects and Themes:
- Subjects: ➤ Logic programming (Computer science) - Logic programming - Théorie démonstration - Négation - Programmation logique - Adjunktion - Programmation déclarative - Adjunktion (Logik) - Logique disjonctive - Base donnée déductive - Programmation en logique - Logische Programmierung - Computer programs
Edition Identifiers:
- The Open Library ID: OL1564110M
- Online Computer Library Center (OCLC) ID: 25130907
- Library of Congress Control Number (LCCN): 91045730
- All ISBNs: 0262121654 - 9780262121651
Access and General Info:
- First Year Published: 1992
- 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 Disjunctive Logic Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic
By Morton L. Schagrin

“Logic” Metadata:
- Title: Logic
- Author: Morton L. Schagrin
- Language: English
- Number of Pages: Median: 320
- Publisher: Mcgraw-Hill (Tx) - McGraw-Hill
- Publish Date: 1985
- Publish Location: New York
“Logic” Subjects and Themes:
- Subjects: ➤ Algorithms - Computer programming - Data processing - Logic - Deduktives Datenbanksystem - Computer - Logische Programmierung - Logik
Edition Identifiers:
- The Open Library ID: OL2856856M - OL7296646M - OL9251350M
- Library of Congress Control Number (LCCN): 84019430
- All ISBNs: 0070551316 - 9780070551312
Access and General Info:
- First Year Published: 1985
- 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 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logic Programming
By Dale Miller

“Logic Programming” Metadata:
- Title: Logic Programming
- Author: Dale Miller
- Language: English
- Number of Pages: Median: 697
- Publisher: The MIT Press - MIT Press
- Publish Date: 1993
- Publish Location: Cambridge, Mass
“Logic Programming” Subjects and Themes:
- Subjects: Logic programming - Congresses - Kongreß - Logische Programmierung
Edition Identifiers:
- The Open Library ID: OL10238387M - OL19579604M
- Online Computer Library Center (OCLC) ID: 29409868
- All ISBNs: 0262631520 - 9780262631525
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 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Logic 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.
5Logic, Language, Formalism, Informalism
By Daniel Richardson

“Logic, Language, Formalism, Informalism” Metadata:
- Title: ➤ Logic, Language, Formalism, Informalism
- Author: Daniel Richardson
- Language: English
- Number of Pages: Median: 246
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1995
“Logic, Language, Formalism, Informalism” Subjects and Themes:
- Subjects: Logic programming languages - Formale Sprache - Logische Programmierung - Language and logic - Formalism (literary analysis)
Edition Identifiers:
- The Open Library ID: OL8967801M
- All ISBNs: 1850321272 - 9781850321279
Access and General Info:
- First Year Published: 1995
- 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, Language, Formalism, Informalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The mechanism and freedom of logic
By Granville C. Henry

“The mechanism and freedom of logic” Metadata:
- Title: ➤ The mechanism and freedom of logic
- Author: Granville C. Henry
- Language: English
- Number of Pages: Median: 232
- Publisher: ➤ University Press of America - Univ Pr of Amer
- Publish Date: 1993
- Publish Location: Lanham
“The mechanism and freedom of logic” Subjects and Themes:
- Subjects: ➤ Prolog (Computer program language) - Logic - PROLOG (Programmiersprache) - Computer - Mathematische Logik - Logische Programmierung - Prolog (computer program language)
Edition Identifiers:
- The Open Library ID: OL1730715M
- Online Computer Library Center (OCLC) ID: 26852663
- Library of Congress Control Number (LCCN): 92035172
- All ISBNs: 9780819189639 - 0819189642 - 9780819189646 - 0819189634
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 The mechanism and freedom of logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Constraint 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.
8Deductive logic and descriptive language. --
By Frank R. Harrison

“Deductive logic and descriptive language. --” Metadata:
- Title: ➤ Deductive logic and descriptive language. --
- Author: Frank R. Harrison
- Language: English
- Number of Pages: Median: 534
- Publisher: Prentice-Hall
- Publish Date: 1969
- Publish Location: ➤ Englewood Cliffs - London - Englewood Cliffs(N.J.)
“Deductive logic and descriptive language. --” Subjects and Themes:
- Subjects: ➤ Semantics (Philosophy) - Deduktives Datenbanksystem - Einfuhrung - Logique - Logische Programmierung - Logic - Einführung
Edition Identifiers:
- The Open Library ID: OL21131563M - OL21218962M
- Library of Congress Control Number (LCCN): 69018891
- All ISBNs: 9780131972285 - 0131972286
Access and General Info:
- First Year Published: 1969
- 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 Deductive logic and descriptive language. -- at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Logic 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.
10Logic programming
By Vijay Saraswat and Kazunori Ueda

“Logic programming” Metadata:
- Title: Logic programming
- Authors: Vijay SaraswatKazunori Ueda
- Language: English
- Number of Pages: Median: 749
- Publisher: MIT Press - The MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
“Logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Programmation logique - Kongreß - Logische Programmierung - Congrès
Edition Identifiers:
- The Open Library ID: OL10238587M - OL1549876M
- Online Computer Library Center (OCLC) ID: 24318124
- Library of Congress Control Number (LCCN): 91029527
- All ISBNs: 9780262691475 - 0262691477
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 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Foundations 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.
12Parallel logic programming
By Evan Tick

“Parallel logic programming” Metadata:
- Title: Parallel logic programming
- Author: Evan Tick
- Language: English
- Number of Pages: Median: 486
- Publisher: MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
“Parallel logic programming” Subjects and Themes:
- Subjects: ➤ Parallel logic programming - Arbre - Triangle Pascal - Logische Programmiersprache - Logic programming - Programmation parallèle (informatique) - Circuit NAND - Clause Horn - Parallelverarbeitung - Programmation logique - Programmation parallèle - Demi-groupe - Chemin optimal - Programmation en logique - Logische Programmierung - PROLOG - Parallel programming (Computer science)
Edition Identifiers:
- The Open Library ID: OL2026975M
- Online Computer Library Center (OCLC) ID: 23357534
- Library of Congress Control Number (LCCN): 91002963
- All ISBNs: 9780262200875 - 0262200872
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 Parallel logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Programming 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.
14Algebraic and logic programming
By Michael Hanus, Germany) Alp 9 (1996 Aachen and M. Rodriguez Artalejo

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: Michael HanusGermany) Alp 9 (1996 AachenM. Rodriguez Artalejo
- Language: English
- Number of Pages: Median: 345
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Algebra - Programmeren (computers) - Programmation logique - Logic programming - Logique algebrique - Congresses - Algebraic logic - Programmierung - Congres - Termersetzungssystem - Algebraische Spezifikation - Logische Programmierung - Mathematical Logic and Formal Languages - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Programming Languages, Compilers, Interpreters - Artificial intelligence - Computer Programming - Computer architecture & logic design - Mathematical theory of computation - Programming - General - Computers - Languages / Programming - Computers - Computer Books: Languages - Programming Languages - General - Logic
Edition Identifiers:
- The Open Library ID: OL1002435M - OL9061972M
- Online Computer Library Center (OCLC) ID: 35397838
- Library of Congress Control Number (LCCN): 96041750
- All ISBNs: 9783540617358 - 3540617353
First Setence:
"The fundamental interest of using term rewriting as an executable specification tool was shown in the last two decades, through many theoretical works but also many implementations of the concept, like (without exhaustivity) OBJ, PLUSS, LPG, ASF+SDF."
Access and General Info:
- First Year Published: 1996
- 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 Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Zur Logik der Logik-Programmierung
By Clemens Beckstein

“Zur Logik der Logik-Programmierung” Metadata:
- Title: ➤ Zur Logik der Logik-Programmierung
- Author: Clemens Beckstein
- Language: ger
- Number of Pages: Median: 246
- Publisher: ➤ Springer-Verlag - Springer - Springer London, Limited
- Publish Date: 1988 - 2013
- Publish Location: New York - Berlin
“Zur Logik der Logik-Programmierung” Subjects and Themes:
- Subjects: Logic programming - Logische Programmierung
Edition Identifiers:
- The Open Library ID: OL37222408M - OL15152438M - OL2264323M
- Library of Congress Control Number (LCCN): 89148252
- All ISBNs: ➤ 3642744036 - 0387507205 - 9780387507200 - 9783540507208 - 9783642744037 - 3540507205
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Zur Logik der Logik-Programmierung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Prolog
By Pierre Deransart, AbdelAli Ed-Dbali and Laurent Cervoni

“Prolog” Metadata:
- Title: Prolog
- Authors: Pierre DeransartAbdelAli Ed-DbaliLaurent Cervoni
- Language: English
- Number of Pages: Median: 272
- Publisher: Springer
- Publish Date: 1996
- Publish Location: Berlin - New York
“Prolog” Subjects and Themes:
- Subjects: ➤ Logic programming - Prolog (Computer program language) - Industrial quality control - Prolog - Computers - Languages / Programming - Prolog (Programming Language) - Science/Mathematics - Computers - Prolog (Computer program langu - Programming Languages - Prolog - Programming Languages - General - Computers / Programming / General - Computers / Programming Languages / General - Formale Spezifikation - Logische Programmierung - Sprachbeschreibung - Standard - formal specification - language description - Prolog (computer program language)
Edition Identifiers:
- The Open Library ID: OL9061509M - OL977964M
- Library of Congress Control Number (LCCN): 96015173
- All ISBNs: 3540593047 - 9783540593041
First Setence:
""Prolog, the Standard", is the first reference manual on the ISO international standard [2] on the programming language Prolog called in this book Standard Prolog."
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 Prolog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Foundations 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.
18Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ Workshop on Computer Science Logic (19th 2005 Oxford, England)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - COMPUTERS - Programming - Logique (Informatique) - Congres - Programmierlogik - Informatique - Open Source - Tools - General - Software Development & Engineering - Logique informatique - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Computer science - Logic
Edition Identifiers:
- The Open Library ID: OL18239420M
- Online Computer Library Center (OCLC) ID: 61320925
- Library of Congress Control Number (LCCN): 2005930337
- All ISBNs: 3540282319 - 9783540282310
Access and General Info:
- First Year Published: 2005
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Inductive 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.
20Algebraic and logic programming
By H. Kirchner and Wolfgang Wechler

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: H. KirchnerWolfgang Wechler
- Language: English
- Number of Pages: Median: 386
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Algebraic logic - Programmation logique - Congrès - Logique algébrique - Algebra - Algebraische Spezifikation - Logische Programmierung - Programmierung - Data processing
Edition Identifiers:
- The Open Library ID: OL1858054M
- Online Computer Library Center (OCLC) ID: 22389519
- Library of Congress Control Number (LCCN): 90010325
- All ISBNs: 0387531629 - 9780387531625
Access and General Info:
- First Year Published: 1990
- 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 Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Algebraic and logic programming
By J. Grabowski, Pierre Lescanne and Wolfgang Wechler

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: J. GrabowskiPierre LescanneWolfgang Wechler
- Language: English
- Number of Pages: Median: 278
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Algebraic logic - Programmierung (Datenverarbeitung) - Termsystem - Algebra - Programmation logique - Congrès - Logique algébrique - Algebraische Spezifikation - Logische Programmierung - Programmierung - Termersetzungssystem - Kongress
Edition Identifiers:
- The Open Library ID: OL2056998M
- Online Computer Library Center (OCLC) ID: 20827430 - 18960002
- Library of Congress Control Number (LCCN): 88035574 - 89145441
- All ISBNs: 9780387506678 - 0387506675
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Logic 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.
23Foundations 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.
24Logic 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.
25Logik für Informatiker (Sav Informatik) (German Edition)
By Uwe Schöning

“Logik für Informatiker (Sav Informatik) (German Edition)” Metadata:
- Title: ➤ Logik für Informatiker (Sav Informatik) (German Edition)
- Author: Uwe Schöning
- Number of Pages: Median: 200
- Publisher: Spektrum Akademischer Verlag
- Publish Date: 2000
“Logik für Informatiker (Sav Informatik) (German Edition)” Subjects and Themes:
- Subjects: Logic programming - 0 Gesamtdarstellung - Mathematische Logik - Logische Programmierung - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL26764648M
- All ISBNs: 3827410053 - 9783827410054
Access and General Info:
- First Year Published: 2000
- 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 Logik für Informatiker (Sav Informatik) (German Edition) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Logic Programming and Nonmonotonic Reasoning
By Esra Erdem

“Logic Programming and Nonmonotonic Reasoning” Metadata:
- Title: ➤ Logic Programming and Nonmonotonic Reasoning
- Author: Esra Erdem
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Logic Programming and Nonmonotonic Reasoning” Subjects and Themes:
- Subjects: ➤ Logic design - Artificial intelligence - Computational complexity - Computer science - Software engineering - Logic programming - Congresses - Nonmonotonic reasoning - Frage-Antwort-System - Kongress - Logische Programmierung - Nichtmonotones Schliessen - Problemlösen - Inferenz <Künstliche Intelligenz> - Wissensrepräsentation - Inferenz (Künstliche Intelligenz)
Edition Identifiers:
- The Open Library ID: OL25559456M
- Online Computer Library Center (OCLC) ID: 436030811
- Library of Congress Control Number (LCCN): 2009933627
- All ISBNs: 3642042376 - 3642042384 - 9783642042379 - 9783642042386
Access and General Info:
- First Year Published: 2009
- 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 Logic Programming and Nonmonotonic Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Logics in artificial intelligence
By European Workshop JELIA'98 (1998 Dagstuhl, Germany)

“Logics in artificial intelligence” Metadata:
- Title: ➤ Logics in artificial intelligence
- Author: ➤ European Workshop JELIA'98 (1998 Dagstuhl, Germany)
- Language: English
- Number of Pages: Median: 390
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“Logics in artificial intelligence” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Semantique - Inteligencia artificial - Logica - Logique symbolique et mathematique - Congres - Logique mathematique non classique - Nonstandard-Logik - Informatique - Programmation logique - Kongress - Kunstmatige intelligentie - Automatisches Beweisverfahren - Nichtmonotones Schlie©en - Logische Programmierung - Intelligence artificielle - Economic policy - European Union - Foreign economic relations - International economic relations
Edition Identifiers:
- The Open Library ID: OL383552M
- Library of Congress Control Number (LCCN): 98046038
- All ISBNs: 3540651411 - 9783540651413
Access and General Info:
- First Year Published: 1998
- 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 Logics in artificial intelligence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Logic-Based Program Synthesis and Transformation
By Danny De Schreye

“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: Median: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Computer science - Artificial intelligence - Informatique - Programmtransformation - Logic programming - Congresses - Logische Programmierung - Logic - Beweistheorie - Programmierlogik - Programmsynthese - Software
Edition Identifiers:
- The Open Library ID: OL25564050M
- Library of Congress Control Number (LCCN): 2010924453
- All ISBNs: 3642125913 - 9783642125911 - 9783642125928 - 3642125921
Access and General Info:
- First Year Published: 2010
- 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-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computer science logic
By CSL 2010 (2010 Brno, Czech Republic)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2010 (2010 Brno, Czech Republic)
- Language: English
- Number of Pages: Median: 546
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Programmierlogik - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software - Logic - Logic programming
- Places: Brünn <2010>
Edition Identifiers:
- The Open Library ID: OL25343335M
- Online Computer Library Center (OCLC) ID: 657597133
- Library of Congress Control Number (LCCN): 2010932191
- All ISBNs: 9783642152047 - 364215204X
Access and General Info:
- First Year Published: 2010
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Computer science logic
By CSL 2009 (2009 Coimbra, Portugal)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2009 (2009 Coimbra, Portugal)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Kongress - Congresses - Computational logic - Programmierlogik - Theoretische Informatik - Logische Programmierung - Logik - Logic, symbolic and mathematical
- Places: Coimbra <2009>
Edition Identifiers:
- The Open Library ID: OL25201065M
- Online Computer Library Center (OCLC) ID: 436029031
- Library of Congress Control Number (LCCN): 2009933208
- All ISBNs: 3642040268 - 9783642040269
Access and General Info:
- First Year Published: 2009
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Kurs in Logischer Programmierung
By Norbert E. Fuchs

“Kurs in Logischer Programmierung” Metadata:
- Title: ➤ Kurs in Logischer Programmierung
- Author: Norbert E. Fuchs
- Language: ger
- Publisher: Springer Vienna
- Publish Date: 1990
- Publish Location: Vienna
“Kurs in Logischer Programmierung” Subjects and Themes:
- Subjects: Logische Programmierung - PROLOG
Edition Identifiers:
- The Open Library ID: OL27067994M
- Online Computer Library Center (OCLC) ID: 863875898
- All ISBNs: 3709191122 - 9783709191125
Access and General Info:
- First Year Published: 1990
- 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 Kurs in Logischer Programmierung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Third 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.
33Logic programming '85

“Logic programming '85” Metadata:
- Title: Logic programming '85
- Language: English
- Number of Pages: Median: 311
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: New York - Berlin
“Logic programming '85” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Programmation logique - Kongress - Logische Programmierung - Programmierung - Congres - Programacao de computadores - Logik - Computer programming - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL2718567M
- Online Computer Library Center (OCLC) ID: 13580655
- Library of Congress Control Number (LCCN): 86011829
- All ISBNs: 0387164790 - 9780387164793
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 Logic programming '85 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Deduktive Datenbanken
By W. Bibel, Armin B. Cremers, Rudolf Kruse, Ulrike Griefahn and Ralf Hinze

“Deduktive Datenbanken” Metadata:
- Title: Deduktive Datenbanken
- Authors: W. BibelArmin B. CremersRudolf KruseUlrike GriefahnRalf Hinze
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1994
- Publish Location: Wiesbaden
“Deduktive Datenbanken” Subjects and Themes:
- Subjects: Deduktives Datenbanksystem - Logische Programmierung
Edition Identifiers:
- The Open Library ID: OL27029857M
- Online Computer Library Center (OCLC) ID: 860341631
- All ISBNs: 9783663095729 - 366309572X
Author's Alternative Names:
"Wolfgang Bibel" and "Ralf Thomas Walter Hinze"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 Deduktive Datenbanken at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Theorie der logischen Programmierung
By Peter H. Schmitt

“Theorie der logischen Programmierung” Metadata:
- Title: ➤ Theorie der logischen Programmierung
- Author: Peter H. Schmitt
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1992
- Publish Location: Berlin, Heidelberg
“Theorie der logischen Programmierung” Subjects and Themes:
- Subjects: Logische Programmierung
Edition Identifiers:
- The Open Library ID: OL27091639M
- Online Computer Library Center (OCLC) ID: 863816390
- All ISBNs: 9783642776571 - 3642776574
Access and General Info:
- First Year Published: 1992
- 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 Theorie der logischen Programmierung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Logic 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.