Topic Search: Programmation Logique

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

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.

2Foundations 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

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.

By Manuel Hermenegildo

“Logic programming” Metadata:

Title: Logic programming
Author: Manuel Hermenegildo
Language: English
Number of Pages: Median: 858
Publisher: MIT Press - The MIT Press
Publish Date: 1990
Publish Location: Cambridge, Mass

“Logic programming” Subjects and Themes:

Subjects: Logic programming - Programmation logique - Congresses - Congrès

Edition Identifiers:

The Open Library ID: OL10238033M - OL1860108M
Online Computer Library Center (OCLC) ID: 22347774
Library of Congress Control Number (LCCN): 90013352
All ISBNs: 0262540584 - 9780262540582

Access and General Info:

First Year Published: 1990
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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.

4Intelligence artificielle et informatique théorique

By Jean-Marc Alliot

“Intelligence artificielle et informatique théorique” Metadata:

Title: ➤ Intelligence artificielle et informatique théorique
Author: Jean-Marc Alliot
Language: fre
Number of Pages: Median: 520
Publisher: Cépaduès-éd.
Publish Date: 1994
Publish Location: Toulouse

“Intelligence artificielle et informatique théorique” Subjects and Themes:

Edition Identifiers:

The Open Library ID: OL38631463M
Online Computer Library Center (OCLC) ID: 489612504
All ISBNs: 2854283244 - 9782854283242

Access and General Info:

First Year Published: 1994
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 Intelligence artificielle et informatique théorique at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

5Estudios sobre programación lógica y sus aplicaciones

By Verónica Dahl

“Estudios sobre programación lógica y sus aplicaciones” Metadata:

Title: ➤ Estudios sobre programación lógica y sus aplicaciones
Author: Verónica Dahl
Language: ➤ Spanish; Castilian - español, castellano
Number of Pages: Median: 419
Publisher: ➤ Universidack, Servicio de Publicacións e Intercambio Científico
Publish Date: 1996
Publish Location: Santiago de Compostela

“Estudios sobre programación lógica y sus aplicaciones” Subjects and Themes:

Subjects: ➤ Programación lógica - Programación (Ordenadores electrónicos) - Programmation logique - Ordinateurs - Programmation

Edition Identifiers:

The Open Library ID: OL17293339M
All ISBNs: 9788481213997 - 8481213993

Access and General Info:

First Year Published: 1996
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 Estudios sobre programación lógica y sus aplicaciones at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

By Jean-Louis Lassez

“Logic programming” Metadata:

Title: Logic programming
Author: Jean-Louis Lassez
Language: English
Number of Pages: Median: 804
Publisher: MIT Press
Publish Date: 1987
Publish Location: Cambridge, Mass

“Logic programming” Subjects and Themes:

Subjects: ➤ Logic programming - Congresses - Programmation logique - Congrès - Recursive functions - Computer programming - System identification

Edition Identifiers:

The Open Library ID: OL20137981M - OL9650130M - OL21857625M
Online Computer Library Center (OCLC) ID: 16930939 - 15365724
Library of Congress Control Number (LCCN): 87002937
All ISBNs: ➤ 9780262121255 - 026212128X - 9780262121286 - 0263121298 - 0262620588 - 0262121255 - 9780262620581

Access and General Info:

First Year Published: 1987
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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.

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

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.

8Logic 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

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.

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

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.

10Foundations 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

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.

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

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.

12PROLOG, children and students

By Jon Nichol

“PROLOG, children and students” Metadata:

Title: PROLOG, children and students
Author: Jon Nichol
Language: English
Number of Pages: Median: 217
Publisher: Kogan Page - Nichols Pub. Co.
Publish Date: 1988
Publish Location: New York - London

“PROLOG, children and students” Subjects and Themes:

Subjects: ➤ Computer-assisted instruction - Logic programming - Prolog (Computer program language) - Enseignement assisté par ordinateur - Programmation logique - Prolog (Langage de programmation) - Computerunterstützter Unterricht - PROLOG - Education, data processing

Edition Identifiers:

The Open Library ID: OL2392934M
Online Computer Library Center (OCLC) ID: 16647266
Library of Congress Control Number (LCCN): 87022451
All ISBNs: 9780893972905 - 0893972908

Access and General Info:

First Year Published: 1988
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 PROLOG, children and students at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

13Programmation en logique avec contraintes

By France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille

“Programmation en logique avec contraintes” Metadata:

Title: ➤ Programmation en logique avec contraintes
Author: ➤ France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille
Language: fre
Number of Pages: Median: 278
Publisher: Hermès Science publications
Publish Date: 2000
Publish Location: Paris

“Programmation en logique avec contraintes” Subjects and Themes:

Subjects: ➤ Sémantique - Bioinformatique - Programmation en logique - Programmation avec contrainte - Programmation logique - Congrès - Programmation par contraintes

Edition Identifiers:

The Open Library ID: OL32135458M
Online Computer Library Center (OCLC) ID: 45197769
All ISBNs: 274620147X - 9782746201477

Access and General Info:

First Year Published: 2000
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 Programmation en logique avec contraintes at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

14Logique et fondements de l'informatique

By Richard Lassaigne

“Logique et fondements de l'informatique” Metadata:

Title: ➤ Logique et fondements de l'informatique
Author: Richard Lassaigne
Language: fre
Number of Pages: Median: 248
Publisher: Hermès
Publish Date: 1993
Publish Location: Paris

“Logique et fondements de l'informatique” Subjects and Themes:

Edition Identifiers:

The Open Library ID: OL38567539M
Online Computer Library Center (OCLC) ID: 28985507
All ISBNs: 9782866013806 - 2866013808

Access and General Info:

First Year Published: 1993
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 Logique et fondements de l'informatique at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

15Foundations of Probabilistic Logic Programming

By Fabrizio Riguzzi

“Foundations of Probabilistic Logic Programming” Metadata:

Title: ➤ Foundations of Probabilistic Logic Programming
Author: Fabrizio Riguzzi
Language: English
Number of Pages: Median: 250
Publisher: River Publishers
Publish Date: 2018 - 2019 - 2022 - 2023

“Foundations of Probabilistic Logic Programming” Subjects and Themes:

Subjects: ➤ Logic programming - Machine theory - Probabilities - Data processing - COMPUTERS - Logic Design - Programmation logique - Probabilités - Informatique - COMPUTERS / Programming / Software Development - SCIENCE / Energy

Edition Identifiers:

The Open Library ID: ➤ OL48179852M - OL40123579M - OL48187641M - OL48170950M - OL39634414M - OL40143430M - OL27365595M - OL39608699M - OL40163654M
Online Computer Library Center (OCLC) ID: 1059547836
All ISBNs: ➤ 9781000923216 - 1000923223 - 9781000792553 - 9788770220651 - 1000792552 - 8770220654 - 9781003338192 - 8770220182 - 9788770227193 - 8770220174 - 9788770220187 - 1003338194 - 8770227195 - 9781000923223 - 1000923215 - 9781000795875 - 9788770220170 - 100079587X

Access and General Info:

First Year Published: 2018
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Probabilistic Logic Programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

16Handbook of logic in artificial intelligence and logic programming

By Dov M. Gabbay, Christopher John Hogger, J.A. Robinson, C. J. Hogger and J. A. Robinson

“Handbook of logic in artificial intelligence and logic programming” Metadata:

Title: ➤ Handbook of logic in artificial intelligence and logic programming
Authors: Dov M. GabbayChristopher John HoggerJ.A. RobinsonC. J. HoggerJ. A. Robinson
Language: English
Number of Pages: Median: 548
Publisher: ➤ Oxford University Press, USA - Oxford University Press - Clarendon Press
Publish Date: 1993 - 1994 - 1995 - 1998
Publish Location: Oxford - New York

“Handbook of logic in artificial intelligence and logic programming” Subjects and Themes:

Subjects: ➤ Logic programming - Symbolic and mathematical Logic - Artificial intelligence - Informatique - Logique symbolique et mathématique - Héritage - Programmation logique - Logique défaut - Théorie possibilité - Incertitude - Raisonnement non monotone - Logique - Intelligence artificielle - Logic, symbolic and mathematical

Edition Identifiers:

The Open Library ID: ➤ OL7400717M - OL22387734M - OL7400704M - OL7400703M - OL22387706M - OL7400702M - OL7400716M - OL1720164M
Online Computer Library Center (OCLC) ID: 26300491
Library of Congress Control Number (LCCN): 92023358
All ISBNs: ➤ 9780198537465 - 0198537921 - 019853745X - 0198537913 - 9780198537458 - 9780198537472 - 0198537468 - 9780198537922 - 9780198537915 - 0198537476

Access and General Info:

First Year Published: 1993
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Handbook of logic in artificial intelligence and logic programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

17Constraint logic programming using ECLiPSe

By Krzysztof R. Apt and Mark Wallace

“Constraint logic programming using ECLiPSe” Metadata:

Title: ➤ Constraint logic programming using ECLiPSe
Authors: Krzysztof R. AptMark Wallace
Language: English
Number of Pages: Median: 329
Publisher: Cambridge University Press
Publish Date: 2006 - 2007 - 2009 - 2010

“Constraint logic programming using ECLiPSe” Subjects and Themes:

Subjects: ➤ Logic programming - Constraint programming (Computer science) - Programmation par contraintes - Programmation logique - Constraint programming (computer science)

Edition Identifiers:

The Open Library ID: ➤ OL53926549M - OL40730191M - OL40507888M - OL40506147M - OL34443254M - OL7767369M
Online Computer Library Center (OCLC) ID: 78988320
Library of Congress Control Number (LCCN): 2007297920
All ISBNs: ➤ 9780511347771 - 0511349661 - 9780521866286 - 9780511349669 - 0521866286 - 9781281085719 - 1281085715 - 9780511607400 - 0511348746 - 0511607407 - 0511347774 - 9780511348747

Access and General Info:

First Year Published: 2006
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Constraint logic programming using ECLiPSe at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

18Mathematical Aspects Of Logic Programming Semantics

By Anthony Seda

“Mathematical Aspects Of Logic Programming Semantics” Metadata:

Title: ➤ Mathematical Aspects Of Logic Programming Semantics
Author: Anthony Seda
Language: English
Number of Pages: Median: 304
Publisher: ➤ CRC Press - Taylor & Francis Group
Publish Date: 2010 - 2016 - 2017

“Mathematical Aspects Of Logic Programming Semantics” Subjects and Themes:

Subjects: ➤ Logic programming - Programming languages (electronic computers) - Prolog (computer program language) - Programming languages (Electronic computers) - Semantics - Programmation logique - Langages de programmation - Sémantique - COMPUTERS - Programming - General - MATHEMATICS - Logic

Edition Identifiers:

The Open Library ID: ➤ OL29036818M - OL29529750M - OL29529874M - OL28863547M - OL26014948M - OL29451859M
Online Computer Library Center (OCLC) ID: 683591286 - 814374374
Library of Congress Control Number (LCCN): 2010045091
All ISBNs: ➤ 1138114227 - 1439829616 - 9781138114227 - 1000218724 - 9781439829615 - 9780429094231 - 1439829624 - 9781439829622 - 042909423X - 9781000218725 - 1000219208 - 9781000219203

Access and General Info:

First Year Published: 2010
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 Mathematical Aspects Of Logic Programming Semantics at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

By Leonard Bolc and Andrzej Szałas

“Time and Logic” Metadata:

Title: Time and Logic
Authors: Leonard BolcAndrzej Szałas
Language: English
Number of Pages: Median: 332
Publisher: Taylor & Francis Group
Publish Date: 2019 - 2020 - 2021

“Time and Logic” Subjects and Themes:

Subjects: ➤ Stochastic processes - Logic programming - Time - Programmation logique - Temps - PHILOSOPHY - General

Edition Identifiers:

The Open Library ID: ➤ OL34786406M - OL33694252M - OL33757739M - OL33694263M - OL34664088M - OL33678356M
Online Computer Library Center (OCLC) ID: 1126213927
All ISBNs: ➤ 9781000497434 - 0367336537 - 9780367336530 - 1000497437 - 9781000507317 - 1000507319 - 1000502376 - 036733657X - 9780429321047 - 042932104X - 9780367336578 - 9781000502374

Access and General Info:

First Year Published: 2019
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Time and Logic at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

By David H. D. Warren

“Logic programming” Metadata:

Title: Logic programming
Author: David H. D. Warren
Language: English
Number of Pages: Median: 788
Publisher: The MIT Press - MIT Press
Publish Date: 1990
Publish Location: Cambridge, Mass - London

“Logic programming” Subjects and Themes:

Subjects: Logic programming - Congresses - Programmation logique - Congrès

Edition Identifiers:

The Open Library ID: OL10238691M - OL21251525M - OL21219981M
Online Computer Library Center (OCLC) ID: 21483706
Library of Congress Control Number (LCCN): 90006074
All ISBNs: 0262730901 - 9780262730907

Access and General Info:

First Year Published: 1990
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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.

21Logical and Relational Learning

By Luc De Raedt

“Logical and Relational Learning” Metadata:

Title: ➤ Logical and Relational Learning
Author: Luc De Raedt
Language: English
Number of Pages: Median: 365
Publisher: ➤ Springer - Springer London, Limited
Publish Date: 2008 - 2009 - 2010

“Logical and Relational Learning” Subjects and Themes:

Subjects: ➤ Data mining - Information storage and retrieval systems - Information systems - Artificial intelligence - Database management - Computer programming - Machine learning - Logic programming - Relational databases - Data Mining - Apprentissage automatique - Exploration de données (Informatique) - Programmation logique - Bases de données relationnelles - Informatique

Edition Identifiers:

The Open Library ID: OL12772849M - OL28017683M - OL28014709M - OL37112274M
Online Computer Library Center (OCLC) ID: 288474534
All ISBNs: ➤ 9783540200406 - 3540860126 - 9783642057489 - 3642057489 - 9783540688563 - 3540200401 - 9783540860129 - 3540688560

Access and General Info:

First Year Published: 2008
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Logical and Relational Learning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

22Programming 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

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.

23Algebraic 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:

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

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.

24From 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.

25Logic Programming

By Koichi Furukawa

“Logic Programming” Metadata:

Title: Logic Programming
Author: Koichi Furukawa
Language: English
Number of Pages: Median: 956
Publisher: The MIT Press - MIT Press
Publish Date: 1991
Publish Location: Cambridge, Mass

“Logic Programming” Subjects and Themes:

Subjects: Logic programming - Congresses - Programmation logique - Congrès

Edition Identifiers:

The Open Library ID: OL10238075M - OL19018833M
Online Computer Library Center (OCLC) ID: 23584206 - 26317538
Library of Congress Control Number (LCCN): 91013051
All ISBNs: 9780262560580 - 0262560585

Access and General Info:

First Year Published: 1991
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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.

26Logic 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.

27Foundations 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

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.

28Algebraic 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

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.

29Interactive 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

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.

30Logics of Programs

By D. Kozen

“Logics of Programs” Metadata:

Title: Logics of Programs
Author: D. Kozen
Language: English
Number of Pages: Median: 489
Publisher: Springer
Publish Date: 1982 - 1984

“Logics of Programs” Subjects and Themes:

Subjects: ➤ Sémantique programme - Vérification programme - Congrès - Programmation (Informatique) - Congresses - Logiciels - Logique temporelle - Computer programming - Logique programmation - Symbolic and mathematical Logic - Programmation logique

Edition Identifiers:

The Open Library ID: OL27987078M - OL12771494M
Library of Congress Control Number (LCCN): 82003219
All ISBNs: 354011212X - 9783540112129 - 3540128964 - 9783540128960

Access and General Info:

First Year Published: 1982
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 of Programs at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

31From 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:

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

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.

32The craft of Prolog

By Richard A. O'Keefe

“The craft of Prolog” Metadata:

Title: The craft of Prolog
Author: Richard A. O'Keefe
Language: English
Number of Pages: Median: 387
Publisher: MIT Press
Publish Date: 1990
Publish Location: Cambridge, Mass

“The craft of Prolog” Subjects and Themes:

Subjects: ➤ Prolog (Computer program language) - PROLOG - Prolog (Langage de programmation) - Programmation logique - PROLOG (Programmiersprache) - Programmation en logique - NU PROLOG - Programmation PROLOG - Qa76.73.p76 o38 1990 - 005.13/3

Edition Identifiers:

The Open Library ID: OL1872683M
Online Computer Library Center (OCLC) ID: 21152424
Library of Congress Control Number (LCCN): 90032345
All ISBNs: 0262150395 - 9780262150392

Access and General Info:

First Year Published: 1990
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 The craft of Prolog at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

33Algebraic 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.

34Programming 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.

35Foundations of equational logic programming

By Steffen Hölldobler

“Foundations of equational logic programming” Metadata:

Title: ➤ Foundations of equational logic programming
Author: Steffen Hö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

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.

36Logic 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

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.

37Logic 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

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.

38Logic 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

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.

39Programmation du procédural au fonctionnel, du fonctionnel au déclaratif

By Louis Gacôgne

“Programmation du procédural au fonctionnel, du fonctionnel au déclaratif” Metadata:

Title: ➤ Programmation du procédural au fonctionnel, du fonctionnel au déclaratif
Author: Louis Gacôgne
Language: fre
Number of Pages: Median: 158
Publisher: Eyrolles
Publish Date: 1989
Publish Location: Paris

“Programmation du procédural au fonctionnel, du fonctionnel au déclaratif” Subjects and Themes:

Subjects: Problèmes et exercices - Programmation (Informatique) - Programmation fonctionnelle - Programmation logique - Programmation structurée

Edition Identifiers:

The Open Library ID: OL20016654M

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 Programmation du procédural au fonctionnel, du fonctionnel au déclaratif at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

40Algebraic semantics of imperative programs

By Joseph Goguen

“Algebraic semantics of imperative programs” Metadata:

Title: ➤ Algebraic semantics of imperative programs
Author: Joseph Goguen
Language: English
Number of Pages: Median: 228
Publisher: The MIT Press - MIT Press
Publish Date: 1996
Publish Location: Cambridge, Mass

“Algebraic semantics of imperative programs” Subjects and Themes:

Subjects: ➤ Programming languages (Electronic computers) - Semantics - Algebra - Sémantique algébrique - OBJ - Funktionale Semantik - Programmeren (computers) - Programmation logique - Programme impératif - Algèbre - Algebraïsche taalkunde - Langages de programmation - Programmation (mathématiques) - Semantiek - Sémantique - Computer science

Edition Identifiers:

The Open Library ID: OL810575M
Online Computer Library Center (OCLC) ID: 33439655
Library of Congress Control Number (LCCN): 95047440
All ISBNs: 026207172X - 9780262071727

Access and General Info:

First Year Published: 1996
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 semantics of imperative programs at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

41Programming Logic and Design -- Comprehensive

By Joyce Farrell

“Programming Logic and Design -- Comprehensive” Metadata:

Title: ➤ Programming Logic and Design -- Comprehensive
Author: Joyce Farrell
Language: English
Number of Pages: Median: 469
Publisher: Course Technology
Publish Date: 2001

“Programming Logic and Design -- Comprehensive” Subjects and Themes:

Subjects: Logic programming - Logic design - Programmation logique - Structure logique

Edition Identifiers:

The Open Library ID: OL7606894M
Online Computer Library Center (OCLC) ID: 48850150
All ISBNs: 0619063157 - 9780619063153

First Setence:

"It's your first day as a computer programmer trainee at Solutions, Inc. "I'm so excited about learning to program," you say to Andrea Lake, Human Resources Director at Solutions."

Access and General Info:

First Year Published: 2001
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 Logic and Design -- Comprehensive at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

42Recent advances in constraints

By International Workshop on Constraint Solving and Constraint (2004 Lausanne, Switzerland)

“Recent advances in constraints” Metadata:

Title: Recent advances in constraints
Author: ➤ International Workshop on Constraint Solving and Constraint (2004 Lausanne, Switzerland)
Language: English
Number of Pages: Median: 215
Publisher: Springer
Publish Date: 2005
Publish Location: New York - Berlin

“Recent advances in constraints” Subjects and Themes:

Subjects: ➤ Congresses - Logic programming - Constraint programming (Computer science) - Resolution de contraintes - Constraint <Kunstliche Intelligenz> - Contrainte (Intelligence artificielle) - COMPUTERS - Programming - Congres - Constraint-Erfullung - Informatique - Open Source - Programmation logique - Programmation par contraintes - Kongress - General - Software Development & Engineering - Constraint-Programmierung - Tools

Edition Identifiers:

The Open Library ID: OL18225065M
Online Computer Library Center (OCLC) ID: 60455120
Library of Congress Control Number (LCCN): 2005921905
All ISBNs: 9783540251767 - 3540251766

Access and General Info:

First Year Published: 2005
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 Recent advances in constraints at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

43Logics 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:

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

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.

44Logic programming '87

By Kōichi Furukawa and H. Tanaka

“Logic programming '87” Metadata:

Title: Logic programming '87
Authors: Kōichi FurukawaH. Tanaka
Language: English
Number of Pages: Median: 327
Publisher: Springer
Publish Date: 1988

“Logic programming '87” Subjects and Themes:

Subjects: ➤ Logic programming - Congresses - Programmation logique - Congrès - Logic design - Digitális tervezés - Konferencia

Edition Identifiers:

The Open Library ID: OL12772783M
Library of Congress Control Number (LCCN): 88017625
All ISBNs: 3540194266 - 9783540194262

Access and General Info:

First Year Published: 1988
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 '87 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

45Third 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: