Book Search Results

“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

“From standard logic to logic programming” Metadata:

• Title: ➤  From standard logic to logic programming
• Authors: André ThaysePaul Gochet
• Language: English
• Number of Pages: Median: 343
• Publisher: Wiley
• Publish Date: 1988
• Publish Location: New York - Chichester

“From standard logic to logic programming” Subjects and Themes:

• Subjects: Logic programming - Artificial intelligence - Logic

Edition Identifiers:

• The Open Library ID: OL2037876M
• Online Computer Library Center (OCLC) ID: 17873708
• Library of Congress Control Number (LCCN): 88014215
• All ISBNs: 0471918385 - 9780471918387

“From Modal Logic to Logic Programming” Metadata:

• Title: ➤  From Modal Logic to Logic Programming
• Author: Andre Thayse
• Publisher: John Wiley and Sons Ltd
• Publish Date: 1988

Edition Identifiers:

• The Open Library ID: OL10340447M
• All ISBNs: 047191973X - 9780471919735

“From Standard Logic to Logic Programming” Metadata:

• Title: ➤  From Standard Logic to Logic Programming
• Author: Andre Thayse
• Language: English
• Number of Pages: Median: 360
• Publisher: John Wiley & Sons Inc
• Publish Date: 1988

Edition Identifiers:

• The Open Library ID: OL7630949M
• All ISBNs: 0471918385 - 9780471918387

“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

“From logic design to logic programming” Metadata:

• Title: ➤  From logic design to logic programming
• Author: Dominique Snyers
• Language: English
• Number of Pages: Median: 125
• Publisher: Springer-Verlag
• Publish Date: 1987
• Publish Location: Berlin - New York

“From logic design to logic programming” Subjects and Themes:

• Subjects: Automatic theorem proving - Computer algorithms - Logic programming

Edition Identifiers:

• The Open Library ID: OL2391386M
• Library of Congress Control Number (LCCN): 87020773
• All ISBNs: 9780387182179 - 0387182179

“From logic programming to Prolog” Metadata:

• Title: ➤  From logic programming to Prolog
• Author: Krzysztof R. Apt
• Language: English
• Number of Pages: Median: 328
• Publisher: Prentice Hall
• Publish Date: 1997
• Publish Location: New York - London

“From logic programming to Prolog” Subjects and Themes:

• Subjects: ➤  Logic programming - Prolog (Computer program language) - Literary collections

Edition Identifiers:

• The Open Library ID: OL972897M
• Library of Congress Control Number (LCCN): 96009779
• All ISBNs: 9780132303682 - 013230368X