Explore: Logique Mathe Matique
Discover books, insights, and more — all in one place.
Learn more about Logique Mathe Matique with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-mathe-matique”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Category theory and computer science

“Category theory and computer science” Metadata:
- Title: ➤ Category theory and computer science
- Language: English
- Number of Pages: Median: 365
- Publisher: Springer
- Publish Date: 1989
“Category theory and computer science” Subjects and Themes:
- Subjects: ➤ Computer programming - Categories (Mathematics) - Congresses - The orie cate gorie - Langage programmation - Ge nie logiciel - Calcul propositionnel - Logique mathe matique - Cate gorie - The orie type - Construction langage
Edition Identifiers:
- The Open Library ID: OL7446277M
- All ISBNs: 9780387516622 - 038751662X
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 Category theory and computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic 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.