Explore: Programmation Déclarative
Discover books, insights, and more — all in one place.
Learn more about Programmation Déclarative with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmation-d%C3%A9clarative”:
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 and declarative language
By Michael Downward
“Logic and declarative language” Metadata:
- Title: Logic and declarative language
- Author: Michael Downward
- Language: English
- Number of Pages: Median: 362
- Publisher: Taylor & Francis - Routledge
- Publish Date: 1998 - 2004
- Publish Location: Bristol, Pa - London
“Logic and declarative language” Subjects and Themes:
- Subjects: ➤ Logic programming - Declarative programming - Logic, symbolic and mathematical - Programmation logique - Programmation déclarative
Edition Identifiers:
- The Open Library ID: OL46037535M - OL460835M
- Online Computer Library Center (OCLC) ID: 39472991 - 52849601
- Library of Congress Control Number (LCCN): 98179219
- All ISBNs: ➤ 9780748408023 - 0748408029 - 0748408037 - 1280110406 - 9780748408030 - 9781280110405
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic and declarative language at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3From 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.