Topic Search: Logic Programming

Discover books, insights, and more — all in one place.

Learn more about Logic Programming with top reads curated from trusted sources — all in one place.

AI-Generated Overview About “logic-programming”:

Select your preferred language for the answer

Books Results

Search results from The Open Library

1The experience of literature

By Lionel Trilling, L. trilling, Trilling, Lionel, 1905-1975, William Shakespeare, Антон Павлович Чехов, George Bernard Shaw, Nathaniel Hawthorne, Herman Melville, Фёдор Михайлович Достоевский, James Joyce, William Faulkner, Edgar Allan Poe and Albert Camus

“The experience of literature” Metadata:

Title: The experience of literature
Authors: ➤ Lionel TrillingL. trillingTrilling, Lionel, 1905-1975William ShakespeareАнтон Павлович ЧеховGeorge Bernard ShawNathaniel HawthorneHerman MelvilleФёдор Михайлович ДостоевскийJames JoyceWilliam FaulknerEdgar Allan PoeAlbert Camus
Language: English
Number of Pages: Median: 1320
Publisher: ➤ Doubleday & Company - Holt, Rinehart and Winston - Doubleday & Company, Inc. - Doubleday
Publish Date: 1967
Publish Location: Garden City, N.Y - New York

“The experience of literature” Subjects and Themes:

Subjects: ➤ Literature - Collections - Anthologies - Fiction - Young men - Copyists - classic literature - Psychology - Securities industry - history and criticism - 20th century English fiction - christian - christian fiction - Christmas - Christmas fiction - Christmas stories - Criticism and interpretation - Daily Express - death - Domestic fiction - English fiction - family life - Family reunions - Irish literature - Stories (texts) - The Lass of Aughrim - Three Graces - West Britons - class conflict - Drama - English drama - Translations from foreign languages - Logic programming
People: ➤ Bartleby - Turkey - Nippers - Ginger Nut - John Jacob Astor - Cicero - Gabriel Conroy - Kate Morkan - Julia Morkan - Mary Jane Morkan - Lily - Gretta Conroy - Molly Ivors - Mr Browne - Freddy Malins - Mrs Malins - Bartell D'Arcy - Patrick Morkan - Michael Furey - Sartoris Snopes - Abner Snopes - Lennie Snopes - Lizzie - Major de Spain - Mr. Harris
Places: New York - Wall Street - Ireland - Galway - Justice of the Peace Court

Edition Identifiers:

The Open Library ID: ➤ OL14108414M - OL43551878M - OL38237848M - OL20310573M - OL38237820M - OL13698866M - OL5538472M - OL5542140M
Online Computer Library Center (OCLC) ID: 1054983840 - 895231705 - 712358 - 334856 - 820166
Library of Congress Control Number (LCCN): 67020030 - 67015654 - 67-20030

Author's Alternative Names:

"Dostoevsky Fyodor", "Fiódor Mijáilovich Dostoyevsky", "POE Edgar Allan -", "etc George Bernard Shaw", "Herman, 1819-1891 Melville", "F.M. Dostoevskii", "Эдгар Аллан По", "Вильям Шекспир", "A. P. ^Ce^hov", "FIODOR DOSTOYEVSKI", "A. Pavlovich Chekhov", "Bernard George Shaw", "A P Chekhov", "N Hawthorne", "Shakespeare W", "Fiodor M. Dostoyevski", "F. Dostoyevsky", "Edgar Allan Poe,Edgar Allan Poe", "Fiodor DOSTOYEVSKI", "B. F. / Camus, Albert Bart", "Fëdor Mihajlovič Dostoevskij", "فيودور دوستويفسكي", "Anton P. Çehov", "Anton Pavlovich Chejov", "E.A.: Poe", "Nathaniel [two Or More Storie Hawthorne", "Shakespeare", "Fëdor Dostoevskij", "Edgar allan Poe", "A. Checkhov", "Nathanial Hawthorne", "Fyodor Dostoiévski", "Fydora DOSTOEVSKY", "william william shakespeare", "Anton Tchékhov", "CHEKHOV, ANTON PAVLIVICH, 1860-1904.", "FIODOR M. DOSTOIEVSKI", "Ф.М Достоевский", "Joyce James", "Hawthorne, Nathaniel, 1804-1864", "Melville Herman", "Fyodor Mikhailovich Dostoy", "Edgar-Allan Poe", "George Bernard George Bernard Shaw", "Dostoïevski Fédor", "James JOYCE", "Camus Albert", "a. Tchekhov", "Nathaniel Nathaniel Hawthorne", "Edgar A. Poe", "Fyodor, Dostoyevsky", "fyodor dostoyevsky", "Edgar Allan 1809-1849 Poe", "TCHEKHOV ANTON", "Tchekhov, Anton Pavlovich, 1860-1904.", "Fiódor Dostoyevski", "/Edgar Allan Poe/Alihassanifard", "Bernard: Shaw", "Chekhov", "Fiodor Dostoyevsky", "Edgar Allan. : Poe", "Albert 1913-1960 Exil Et Le Camus", "MELVILLE H.", "Shaw, Bernard:, Shaw, Bernard:", "JAMES JOYCE", "Dostoyevsky", "Fjodor M. Dostojevski", "Fiódor Dostoievski", "Dostoevski Fiordor", "camus albert", "George Bernard, Shaw", "Fedor Dostoevskij", "Anton CHEKOV", "Poe,Edgar Allan", "Fyodor Dostovesky", "F. M. Dostoyevsky", "Fjodor M. Dostojewskij", "Nathanel Hawthorn", "Chekhov Anton Pavlovich", "Fiodor Mijaïlovich Dostoevskiï", "Bernard; Bernard Shaw Shaw", "[Mod Lib]. Chekhov.", "Dostoievski", "FIÓDOR DOSTOYEVSKI", "George B. Shaw", "Fedor Mikhaïlovitch Dostoïevski", "Fyodor Dastoevsky", "G Bernard Shaw", "Anton Çehov", "Fiodor Dostoievski", "Fayodor Dostoyevsky", "James joyce", "James Joyce", "Dostoievski F.", "Poe Edgar-Allan", "Fyodor Mikhaïlovitch Dostoyevsky", "Feodor Dostoievsky", "Poe, Edgar Allan,", "Chekhov and Others", "Edgar POE", "Albert Cdfmx 5052 Camus", "W. Shakespeare", "Poe E.A.", "Anton CHEKHOV", "Fyodor Mihayloviç Dostoyevski", "Fedor M. Dostoevskij", "ANTON TCHEKHOV", "Fyodor Dostoieffsky", "ALLAN POE,EDGAR", "Fyodor M. Dostoyevsky", "Fedor Dostoieffsky", "G. Bernard Shaw", "POE-E", "Nathaniel Hawthorn", "Fedor Dostoiesvski", "(mei) Po", "Fedor M. Dostoyevski", "George Bernard Shaw (1856-1950)", "F. M. Dostoevskiǐ", "Poe Edgar Allan", "Fedor DOSTOÏEVSKI", "nathaniel hawthorne hawthorne", "Dostoevsky, Fyodor, Достоевский, Федор", "Уильям Шекспир", "Fiodor Dostoiévski", "Shaw, George B.", "(George) Bernard Shaw", "F M. Dostoevskii", "Fedor Mikhailovich Dostoyevskii", "Fyodor Dsotoyevsky", "James Augustine Aloysius Joyce", "Fiodor Mikhailovitch Dostoievski", "Fiodor Dostoïevski", "E. A Poe", "Fedor Mihailovic Dostoevskij", "FEDOR DOSTOIEVSKI", "Fyodor Mikhailovich Dostoyevsky", "Camus", "F Dostoevskii", "William " Shakespeare "", "James ( Joyce", "M. Edgar Allan Poe", "Chekhov, Anton", "Fyodor M. Dostoevsky", "E. Poe", "Anton P. Čechov", "Fedor Mikhaĭlovich Dostoevskiĭ", "edgar poe", "POE EDGAR ALLAN", "F M Dostoevskii", "Poe, Edgar Allan, 1809-1849", "Dostoievsky", "Anton Chekov", "Shaw George Bernard", "Beranrd Shaw", "Fiódor Dostoiévski", "Édgar Poe", "Edgar Allan Poe Poe", "Hawthorne,Nathaniel ホーソーン,ナサニエル (1804-1864)", "Fedor Dostoiewski", "Fjodor Dostojevski", "CAMUS Albert", "Melville Herman 1819-1891", "George Bernard shaw", "Fyodor Dosteovs", "Fédor Mikhaïlovitch Dostoïevski", "Anton Čechov", "Shaw", "tchekhov anton", "Fyodor DOSTOEUSKY", "Fyedor Dostoyevski", "POE,EDGAR ALLAN", "Anton Chekhoff", "Anton Chekhov (Tchekhov)", "Anton Anton Chekhov", "Fiódor M. Dostoyevski", "Fyodo Dostoevsky", "Antón P. Chéjov", "F. Dostojevski", "Anton Tchekov", "Fedor Mikha-Ilovich Dostoevski-I", "Feodor Dostoevsky", "Fyodor Dostoyevsky", "FIÓDOR DOSTOJEVSKI", "Dostojevskij, Fedor Michajlovic, 1821-1881", "Anton. Tchekhov Anton. Chekhov", "Dostoevskiĭ, Feodor, Mikhaĭlovich", "Fedor Dostoïevski", "F M Dostoevski", "FIODOR DOSTOIEVSKI", "Fjodor Dostojewski", "Anton Pavlovic Cechov", "Anton Pavlovic Cehov", "Fjodor Michailowitsch Dostojewski", "Chekhov, Anton Pavlovich", "George] Bernard. SHAW", "Bernard shaw", "DOSTOYEVSKI FEDOR", "CAMUS ALBERT", "CHEKHOV", "Fedor Mikhailovich Dostoevskii", "Anton ANTON CHEKHOV", "Anton Pavlovitch TCHEKHOV", "George Bernard", "A.P. Chekhov", "Fjodor Dostoevskij", "Anton Tchekhov", "DOSTOIEVSKI F.M.", "Bernard SHAW", "edgar allan poe", "S. SHAW GEORGE BERNARD", "Anton Pavlovitch Chekhov", "Fedor Mihailovic Dostoevkij", "A. P. Chekov", "Fyodor Michailovitch DOSTOEVSKY", "Edgar Allan POE", "Chekhov A.", "Shaw, G.B", "George Bernard Shaw Staff", "F. M. Dostoevskĭi", "Anton P. Chekhov", "William (1564-1616) Shakespeare", "james joyce", "George Shaw", "Nathaniel Hawthorne Hawthorne", "Fyodor Dostoïevski", "Anton Pavlovich Cheukov", "Jack William Shakespeare", "Fiòdor M. Dostoievski", "Antón Chéjov", "Bernard Shaw", "CAMUS A.", "nathaniel Hawthorne", "Author Chekhov", "GEORGE BERNARD SHAW", "Федор Михайлович Достоевский", "Shakespeare, William", "Chekov", "Э. По", "Bernard Shaw,George Shaw", "Anton Checkov", "BERNARD. SHAW", "Fiódor Dostoyevsky", "CHEKHOV, Anton", "Anton, Chekhov", "Andreĭ Mikhaĭlovich Dostoevskiĭ", "Fedor Dostoievski", "Melville,herman", "Fëdor Mikhailovich Dostoevskij", "Shaw, Bernard", "Willam Shakespeare", "F. M Dostoevskii", "William Shakespeare William Shakespeare", "Nathiel Hawthorne", "Fyodor Mihailovic Dostoyevski", "Fyodor 1821-1881 Dostoyevsky", "Fyodor, Dostoyevsky, Mikhailovich", "Chekhov, A", "George Bernard (Dublino 1856 - Ayot 1950) SHAW", "Anton Pavlovitch Chekov", "Tchekhov Anton Pawlowitsch", "A. P. Chekhov", "Albert Albert Camus", "F Dostoievski", "George Bernard SHAW", "SHAKESPEARE WILLIAM", "Albert CAMUS", "Edgar Alan Poe", "Anton TCHEKHOV", "F.M. Dostoevskij", "Fiódor Dostoievki", "G. Bernard SHAW", "Fyodor Mikhailovich Dostoevski", "William, Shakespeare,", "Edgar Poe", "A.P Chekhov", "William Shakespeare Shakespeare", "Fédor Dostoïevski", "[Nathaniel] Hawthorne", "Albert 1913-1960 Camus", "FYODOR DOSTOEVSKY", "FIODOR DOSTOIEVSKY", "Chekhov (Chekov)", "George Bernard. SHAW", "Fëdor Michajlovič Dostoevskij", "Fyodor (1821-1881) Dostoevsky", "Fyodor Mihaylovic Dostoyevski", "Fёdor Mihajlovič Dosto'evskij", "G.B Shaw", "Anton Pavlovich Anton Pavlovich Chekhov", "Fyodor Mikhailovitch Dostoyevsky", "F. Dostoyevski", "G. B Shaw", "ANTON CHEKHOV", "F. M. Dostoevskij", "Melville, Herman, 1819-1891.", "F. Dostoevskij", "Th Dostoievsky", "Camus, Albert", "Anton Tschechow", "ALBERT CAMUS", "Fiodor Dostoievsky", "Melville. Herman. 1819-1891.", "Fiódor Mikhàilovitx Dostoievski", "Fyodor Mihailovic Dostoyevsky", "Fyidor Dostotvsky", "George BERNARD SHAW", "Guillermo Shakespeare", "Fedor M. Dostojewskij", "Nathaniel.- HAWTHORNE", "F. M Dostojewski", "W. Faulkner", "Anton Pavlovich Chekhov", "Chekhov,Anton チェーホフ,アントン (1860-1904)", "T.M Dostoevsky", "Nathaniel Hawthorne -", "CHEKHOV, ANTON PAVLOVICH, 1860-1904.", "Anton", "Poe,Edgar Allan ポー,エドガー・アラン (1809-1849)", "Anton Tchehov", "Dostoevsky", "Herman 1819-1891 Melville", "Чехов Антон Павлович", "A. P. Chekhov = A. Cechov", "Nathaniel HAWTHORNE.", "Anton Tsjechof", "Fjodor Michailowitsch Dostojewskij", "Dostoïevski Fiodor Mikhaïlovitch", "Fyodor DOSTOEVSKY", "Dostoevskii F.", "William Shakespeare (Inglaterra)", "Fedor Mikhailovitch Dostoievski", "Fyodor M. Dostoyevski", "Antón Chékhov", "Fyodor Dostoevsky.", "Anton Tchekoff", "SHAW GEORGE BERNARD", "bernard shaw", "Melville, Herman, 1819-1891", "Fedor Dostoyevski", "F.M Dostoevskii", "CAMUS. Albert", "Fyodor Dostoevsky dostoevsky", "Nathaniel HAWTHORNE", "Федор Достоевский", "F. M. Dostoevsky", "Tchehov", "Nathaniel Hawthorne", "Willian Shakespeare", "Melville, Herman", "William SHAKESPEARE", "Edgar Allan, Poe,", "CHekhov Anton Pavlovich", "Fyodor DOSTOYEVSKY", "Fëdor Mihajlovǐc Dostoevskij", "Anton Pavlovitch Tchehov", "Bernard, Shaw,", "Dostoevskiy Fedor Mihaylovich", "james james joyce", "Dostoevesky", "Chekov Anton", "F. M. Dostoevskiĭ", "William William Shakespeare", "Fyodor Mikhailovich Dostoyevsky Dostoyevsky", "Albert (1913-1960) Camus", "DOSTOIEVSKY FIODOR", "Auton Chekhov", "William shakespeare", "Bernard Shaw,George Bernard Shaw", "herman melville", "F. M. Dostoyevski", "Geroge Shaw", "Fyodor M Dostoevsky", "James Cdcdis Srs60 Joyce", "A. P Chekhov", "Fédor Dostoïevsky", "George Bernard Shaw;", "Tchekhov-a", "Hawthorne,Nathaniel", "Anton Pavlovič Čechov", "george bernard shaw", "Fedor Mikhailovich Dostoeivskii", "Fedor M Dostoievski", "albert camus", "poe-edgar-allan", "FYODOR DOSTOYEVSKY", "DOSTOEVSKIJ-F", "Bernard. Shaw", "William ShakeSpeare", "Anton Pávlovich Chéjov", "Anton Pavlovici Cehov", "F M. Dostoyevski", "Feodore Dostovesky", "Fiódor Dostoiévksi", "Fiodor M. Dostoievski", "Bernard G. Shaw", "Fiodor Dostoiewski", "Herman MELVILLE", "Fedor Dostoïeffsky", "M. Albert Camus", "[Shaw, George Bernard].", "Fyodor Mikhailovich Fyodor Mikhailovich Dostoyevsky", "Anton Pavloviç Çehov", "Fedor Dostoevskiy", "Shaw, George Bernard", "Anton Chejov", "Fjodor M Dostojewski", "Anton Chekhov", "F. M. Dostoevskii", "B Shaw", "Nathaniel NATHANIEL HAWTHORNE", "George) Bernard Shaw", "Dostojewski", "Dostojevskij", "Anton Cehov", "BERNARD SHAW", "Anton Pavlovitch Tchekhov", "melville-herman", "Fedor MikhaIlovich, DostoevskiI", "EDGAR ALLAN POE", "POE Edgar Allan", "Hermann Melville", "Chekhov Anton", "Melville. Herman", "Dostojevski", "Mr William Shakespeare", "Fyodor Fyodor Dostoevsky", "Антон Чехов", "fyodor dostoevsky", "A Camus", "HAWTHORNE Nathaniel", "Po", "Shakespeare William", "Fyodor Mikhailovich Dostoevsky", "Cletus Shakespeare", "Joyce, James, 1882-1941", "N. Hawthorne", "Fyodor Dostoyesky", "fyodor mikhailovich dostoyevsky", "Anthon Chekhov", "FEODOR MIHAILOV DOSTOIEVSKI", "Nathaniel Hawthore", "Anton Pavlovich Tchekhov", "Huo sang (Hawthorne, Nathaniel)", "Anton [Pavlovich] CHEKHOV", "Fjodor Dostojevskij", "Joyce, James 1882-1941", "Bernard, Shaw, George", "G. B. Shaw", "Bernard Bernard Shaw", "Fedor Mikhailovich Dostoevski", "Fedor Mi Dostoievski", "F. Dostoevsky", "FIÓDOR DOSTOYEVSKY", "Fyodor Dostoyevski", "Anton Chéjov", "Fedor Mikhaǐlovich Dostoevskiī", "Fiódor Mikhàilovitx Dostoiévskill", "A. Chekhov", "Dostoevskiĭ Fedotr Mikhaĭlovich", "George Bernard Shaw Bernard Shaw", "George, Bernard Shaw", "F. M. Dostoevski", "WILLIAM SHAKESPEARE", "Poe (Edgar Allan).", "Fedor Dostoievsky", "Albert Cdfmx 5067 Camus", "Anton Pavlovič Čehov", "Anton Pavlovich Chekov", "Fedor Mikhailovitch Dostoïevski", "Fyodor DOSTOYEVSKI", "F. M Dostoevskiĭ", "Fyodor Fyodor Dostoyevsky", "CHEKHOV' 'ANTON", "[George] Bernard Shaw", "William Shakespeare Library", "Herman Melvile", "Dostoevski", "Fedor M Dostoevskii", "George Bernard. Shaw", "Fyodor Dostoevsky", "Fedor Mijailovich Dostoievski", "SHAKESPEARE-W", "Nathaniel hawthorne", "Edgar Allan Poe Allan Poe", "william shakespeare", "fedor dostoevskii", "Fedor M. Dostoievski", "Poe. Edgar Allan", "Mr Edgar Allan Poe", "William Shakespeare WILLIAM SHAKESPEARE", "(Chekhov, Anton)", "Fedor DOSTOIEFFSKY", "Fydor Dostoyevsky", "Dostoevskii,Fedor Mikhailovich ドストエフスキー,フィヨードル・ミハイロヴィチ (1821-1881)", "Dostoevsky Fyodor M", "Willliam Shakespeare", "Nathanliel Hawthorne", "nathaniel hawthorne", "Anton Cechov", "F.M. Dostojevski", "Tchekhov", "Edited by Nathaniel Hawthorne", "Fedor Mikhaiilovich Dostoevskiii", "Dostoevskij-F M", "Fyodor Mikhailovich, Dostoyevsky,", "Fjodor M. Dostojewski", "Эдгар По", "Dostoïevski", "Fyador Dostoevsky", "Anton Pavlovich 1860-1904 Chekhov", "William] 1564-1616 [Shakespeare", "Poe, Edgar Allan", "Edgar Allen Poe", "Fyodor Dostoevski", "F. Dostoevskii", "Fedor Michajlovič Dostoevskij", "Shaw, G. B.", "E. A. Poe", "Bernard", "Fedor Dostoyevsky", "DOSTOYEVSKY, FYODOR, 1821-1881.", "Nathaniel Hawethorne", "Joyce, James", "Poe Edgar Ala", "Edgar Allan Edgar Allan Poe", "Fiodor Dostoevski", "Anton Parlovic Cehov", "Dostoevskii", "Fyodor Dostoyrvsky", "Fiódor Dostoïevski", "Nathaniel Hathorne", "Shaw, G. B", "Dostoevskij", "Dostoyevsky Fyodor", "F. M. Dostojewskij", "Hawthorne Nathaniel", "F. M. Dostoevskií", "CAMUS", "Herman Herman Melville", "Tchekhov,Anton Pavlovitch", "Nathaniel, Hawthorne,", "dostoevsky fyodor", "Dostoyevsky Fyodor 1821-1881", "James] Chelsea Press [Joyce", "F.M. Dostoievski", "Shakespeare William 1564-1616", "Fedor Mihailovič Dostoevskij", "Fiodor Dostoyevski", "Fédor Dostoievski", "Fiódor M. Dostoievski", "F. M. Dostoevskïi", "Fiodor Dostojewski", "DOSTOIEVSKI FIODOR", "Fyodor Dubkovetsky", "Dostoievski Fedor", "Fyodor M. DOSTOIEVSKY", "Bernard, Shaw", "Anton TCHEHOV", "George Bernard "Shaw", "MELVILLE HERMAN", "Fyodor DOSTOYEUSKI", "Dostoevskiy F.M.", "Shaw Bernard 1856-1950", "James James Joyce", "Allan Poe Edgar", "George Bernard "Shaw "", "Fedor DOSTOIEVSKI", "tschechow-anton", "Theodore Dostoyevsky", "Edgar ALLAN POE", "A. CHEKHOV", "Chekhov,(Chehov) Anton)", "Anton Pavlovich, Chekhov", "NATHANIEL HAWTHORNE", "Edgar Allan EDGAR ALLAN POE",

Access and General Info:

First Year Published: 1967
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 The experience of literature at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

2Logic programming

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.

3Heritage of Western civilization

By John Louis Beatty

“Heritage of Western civilization” Metadata:

Title: ➤ Heritage of Western civilization
Author: John Louis Beatty
Language: English
Number of Pages: Median: 704
Publisher: Prentice-Hall
Publish Date: ➤ 1958 - 1961 - 1962 - 1966 - 1971 - 1977
Publish Location: Englewood Cliffs, N.J

“Heritage of Western civilization” Subjects and Themes:

Subjects: ➤ Civilization - Collections - History - Literature - Sources - Civilisation occidentale - Logic programming

Edition Identifiers:

The Open Library ID: ➤ OL20767579M - OL21034158M - OL5985071M - OL4884947M - OL4466262M - OL6247570M
Online Computer Library Center (OCLC) ID: 791874 - 1492198
Library of Congress Control Number (LCCN): 58008552 - 79134314 - 76014894 - 66014746
All ISBNs: 0133870922 - 9780133870848 - 0133870847 - 9780133872095 - 0133872092

Access and General Info:

First Year Published: 1958
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 Heritage of Western civilization at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

4Digital design fundamentals

By Kenneth J. Breeding

“Digital design fundamentals” Metadata:

Title: Digital design fundamentals
Author: Kenneth J. Breeding
Language: English
Number of Pages: Median: 455
Publisher: Prentice Hall - Prentice-Hall
Publish Date: 1989 - 1992 - 1997
Publish Location: Englewood Cliffs, N.J

“Digital design fundamentals” Subjects and Themes:

Subjects: Logic circuits - Digital electronics - Switching circuits - Logic programming - Digitales System

Edition Identifiers:

The Open Library ID: OL7339139M - OL9293794M - OL2033847M - OL1540159M
Online Computer Library Center (OCLC) ID: 17732261
Library of Congress Control Number (LCCN): 91018752 - 88009813
All ISBNs: 9780132127219 - 0132112779 - 9780132112772 - 0132127210

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 Digital design fundamentals at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

5The Uncertain Reasoner's Companion

By J. B. Paris

“The Uncertain Reasoner's Companion” Metadata:

Title: ➤ The Uncertain Reasoner's Companion
Author: J. B. Paris
Language: English
Number of Pages: Median: 222
Publisher: Cambridge University Press
Publish Date: ➤ 1994 - 1995 - 2006 - 2009 - 2011
Publish Location: Cambridge - New York

“The Uncertain Reasoner's Companion” Subjects and Themes:

Subjects: ➤ Incertitude - Logic, Symbolic and mathematical - Raisonnement - Reasoning - Symbolic and mathematical Logic - Uncertainty - Uncertainty (Information theory) - Logic programming

Edition Identifiers:

The Open Library ID: OL40462550M - OL34439727M - OL7741613M - OL842542M - OL7714923M
Online Computer Library Center (OCLC) ID: 31973191
Library of Congress Control Number (LCCN): 95120074
All ISBNs: ➤ 9780511526596 - 9780521460897 - 0521032725 - 0511526598 - 0521460891 - 0511885148 - 9780521032728 - 9780511885143

First Setence:

"We shall structure this text around a particular question which seems to us to be central to the subject of uncertain reasoning."

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 The Uncertain Reasoner's Companion at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

6Power tools for Logic Pro 9

By Rick Silva

“Power tools for Logic Pro 9” Metadata:

Title: Power tools for Logic Pro 9
Author: Rick Silva
Language: English
Publisher: ➤ Leonard Corporation, Hal - Hal Leonard Books
Publish Date: 2010
Publish Location: New York

“Power tools for Logic Pro 9” Subjects and Themes:

Subjects: Digital audio editors - Logic (Computer file) - Logic programming

Edition Identifiers:

The Open Library ID: OL35916149M - OL24493853M - OL35790676M - OL35914785M - OL35895628M
Library of Congress Control Number (LCCN): 2010012818
All ISBNs: ➤ 9781306079761 - 9781476854625 - 1423443454 - 1476854629 - 1306079764 - 1617808512 - 1476854610 - 9781476854618 - 9781423443452 - 9781617808517

Access and General Info:

First Year Published: 2010
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 Power tools for Logic Pro 9 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

7Prose and poetry of the continental Renaissance in translation

By Harold Hooper Blanchard

“Prose and poetry of the continental Renaissance in translation” Metadata:

Title: ➤ Prose and poetry of the continental Renaissance in translation
Author: Harold Hooper Blanchard
Language: English
Number of Pages: Median: 1084
Publisher: ➤ McKay - Longmans, Green - D. McKay Co.
Publish Date: 1949 - 1955 - 1962 - 1965
Publish Location: New York

“Prose and poetry of the continental Renaissance in translation” Subjects and Themes:

Subjects: ➤ 15th and 16th centuries - Collections - English literature - Literature - Literature, Modern - Modern Literature - Translations - Translations from foreign literature - Logic programming - Translation form foreign literature - 15th & 16th century
Time: 15th and 16th centuries

Edition Identifiers:

The Open Library ID: OL19285844M - OL13579391M - OL23334124M - OL15437062M - OL14129844M
Online Computer Library Center (OCLC) ID: 1401187 - 8503137 - 1961529
Library of Congress Control Number (LCCN): 49009578 - 55014853

Access and General Info:

First Year Published: 1949
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 Prose and poetry of the continental Renaissance in translation at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

8Prolog Programming for Students

By David Callear

“Prolog Programming for Students” Metadata:

Title: ➤ Prolog Programming for Students
Author: David Callear
Language: English
Number of Pages: Median: 249
Publisher: ➤ Thomson - Int. Cengage Business Press - Continuum International Publishing Group
Publish Date: 2001 - 2003
Publish Location: London

“Prolog Programming for Students” Subjects and Themes:

Subjects: ➤ Prolog (Computer program language) - Logic programming - Prolog (computer program language)

Edition Identifiers:

The Open Library ID: OL8956935M - OL22004280M - OL9406899M
Online Computer Library Center (OCLC) ID: 48555550
All ISBNs: 1844801128 - 0826454968 - 9780826454966 - 9781844801121

Access and General Info:

First Year Published: 2001
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 Programming for Students at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

9Foundations 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.

10Introduction to computer programming logic

By Lynne O'Hanlon

“Introduction to computer programming logic” Metadata:

Title: ➤ Introduction to computer programming logic
Author: Lynne O'Hanlon
Language: English
Number of Pages: Median: 550
Publisher: ➤ Kendall/Hunt Pub. Co - Kendall/Hunt Pub. Co. - Kendall/Hunt Publishing Company
Publish Date: 1992 - 1997 - 2000
Publish Location: Dubuque, Iowa

“Introduction to computer programming logic” Subjects and Themes:

Subjects: Computer programming - Logic programming

Edition Identifiers:

The Open Library ID: OL9800064M - OL9702112M - OL1462124M
Online Computer Library Center (OCLC) ID: 41156878 - 36876939 - 48427313
Library of Congress Control Number (LCCN): 93119878
All ISBNs: ➤ 9780787233082 - 0787274046 - 9780840378408 - 0787233080 - 9780787274047 - 0840378408

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 Introduction to computer programming logic at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

11Constraint logic programming

By Frédéric Benhamou

“Constraint logic programming” Metadata:

Title: Constraint logic programming
Author: Frédéric Benhamou
Language: English
Number of Pages: Median: 493
Publisher: MIT Press - The MIT Press
Publish Date: 1993
Publish Location: Cambridge, Mass

“Constraint logic programming” Subjects and Themes:

Subjects: ➤ Logic programming - Constraint programming (Computer science)

Edition Identifiers:

The Open Library ID: OL9796102M - OL1733322M
Online Computer Library Center (OCLC) ID: 26930662
Library of Congress Control Number (LCCN): 92038061
All ISBNs: 9780262023535 - 0262023539

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

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

12A grammatical view of logic programming

By Pierre Deransart

“A grammatical view of logic programming” Metadata:

Title: ➤ A grammatical view of logic programming
Author: Pierre Deransart
Language: English
Number of Pages: Median: 472
Publisher: MIT Press
Publish Date: 1993
Publish Location: Cambridge, Mass

“A grammatical view of logic programming” Subjects and Themes:

Subjects: Logic programming

Edition Identifiers:

The Open Library ID: OL28441206M - OL1415625M
Online Computer Library Center (OCLC) ID: 28214033
Library of Congress Control Number (LCCN): 93025103
All ISBNs: 0262041405 - 9780262514446 - 0262514443 - 9780262041409

Access and General Info:

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

Online Marketplaces

Find A grammatical view of logic programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

13Programming Logic and Design

By Joyce Farrell

“Programming Logic and Design” Metadata:

Title: Programming Logic and Design
Author: Joyce Farrell
Language: English
Number of Pages: Median: 603
Publisher: ➤ Course Technology - Course Technology Ptr (Sd)
Publish Date: 2004 - 2007
Publish Location: Boston, Mass

“Programming Logic and Design” Subjects and Themes:

Subjects: Logic programming - Logic design - Programmierung - Software Engineering - Objektorientierte Programmierung

Edition Identifiers:

The Open Library ID: ➤ OL7607069M - OL7607267M - OL18506645M - OL18896289M - OL7607070M - OL7607266M
Online Computer Library Center (OCLC) ID: 61433246
Library of Congress Control Number (LCCN): 2008270776
All ISBNs: ➤ 9780619160210 - 0619160233 - 9781418836337 - 9780619160234 - 1418836338 - 9780619216900 - 0619216905 - 0619216913 - 9780619216917 - 0619160217

Access and General Info:

First Year Published: 2004
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 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

14Discrete structures, logic, and computability

By James L. Hein

“Discrete structures, logic, and computability” Metadata:

Title: ➤ Discrete structures, logic, and computability
Author: James L. Hein
Language: English
Number of Pages: Median: 943
Publisher: ➤ World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
Publish Date: ➤ 1994 - 1995 - 2002 - 2010 - 2015 - 2016
Publish Location: ➤ Sudbury, Mass - Boston - Burlington, MA

“Discrete structures, logic, and computability” Subjects and Themes:

Subjects: ➤ Computable functions - Computer science - Data structures (Computer science) - Logic programming - Logic, Symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Traitement automatique des données - Mathematische Logik - Automatische bewijsvoering - Berechenbarkeit - Diskrete Mathematik - Berekenbaarheid - Logisch programmeren - Computer science, mathematics - Computer science--mathematics - Data structures (computer science) - Logic, symbolic and mathematical - Qa76.9.m35

Edition Identifiers:

The Open Library ID: ➤ OL1104046M - OL1435849M - OL30395820M - OL36307860M - OL40246309M - OL18386190M - OL23150212M - OL28582566M
Online Computer Library Center (OCLC) ID: 49887666 - 910073074 - 290423157
Library of Congress Control Number (LCCN): 93048045 - 2015019684 - 94029101 - 2008055744 - 2001038122
All ISBNs: ➤ 9780867204773 - 9789380108391 - 9780763718435 - 0867204672 - 0763718432 - 9780763772062 - 086720477X - 0763772062 - 1284070409 - 9781284070408 - 1449615279 - 9781284099867 - 9780867204674 - 9380108397 - 1284099865 - 9781449615277

Access and General Info:

First Year Published: 1994
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 Discrete structures, logic, and computability at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

15The Little Typer

By Daniel P. Friedman and David Thrane Christiansen

“The Little Typer” Metadata:

Title: The Little Typer
Authors: Daniel P. FriedmanDavid Thrane Christiansen
Language: English
Number of Pages: Median: 424
Publisher: The MIT Press - MIT Press
Publish Date: 2018

“The Little Typer” Subjects and Themes:

Subjects: ➤ Functional programming (computer science) - Logic programming

Edition Identifiers:

The Open Library ID: OL29802052M - OL27372325M - OL29802050M
All ISBNs: ➤ 0262536439 - 0262351005 - 0262350998 - 9780262536431 - 9780262351003 - 9780262350990

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 The Little Typer at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

16Programming Logic and Design, Comprehensive

By Joyce Farrell

“Programming Logic and Design, Comprehensive” Metadata:

Title: ➤ Programming Logic and Design, Comprehensive
Author: Joyce Farrell
Number of Pages: Median: 688
Publisher: ➤ Cengage Learning - Course Technology
Publish Date: 2012 - 2017

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

Subjects: Logic programming - Logic design

Edition Identifiers:

The Open Library ID: OL26838065M - OL28035860M
Online Computer Library Center (OCLC) ID: 794551893
Library of Congress Control Number (LCCN): 2012930593
All ISBNs: 9781337102070 - 1111969752 - 1337102075 - 9781111969752

Access and General Info:

First Year Published: 2012
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.

17Logic for programming artificial intelligence and reasoning

By Moshe Y. Vardi and Andrei Voronkov

“Logic for programming artificial intelligence and reasoning” Metadata:

Title: ➤ Logic for programming artificial intelligence and reasoning
Authors: Moshe Y. VardiAndrei Voronkov
Language: English
Number of Pages: Median: 437
Publisher: ➤ Springer - Springer London, Limited
Publish Date: ➤ 2003 - 2005 - 2006 - 2007 - 2008 - 2010

“Logic for programming artificial intelligence and reasoning” Subjects and Themes:

Subjects: Logic programming - Congresses - Automatic theorem proving

Edition Identifiers:

The Open Library ID: ➤ OL37394742M - OL37394645M - OL37390181M - OL37390169M - OL37385166M - OL37385118M - OL37385071M - OL37385044M - OL37140769M - OL9543170M
Online Computer Library Center (OCLC) ID: 53007054
Library of Congress Control Number (LCCN): 2003061048
All ISBNs: ➤ 9783642162428 - 9783642175114 - 9783540398134 - 3540316507 - 9783540894391 - 3540482822 - 3540755608 - 3642175112 - 3642162428 - 9783540322757 - 9783540201014 - 3540322752 - 354089439X - 3540398139 - 3540456538 - 9783540316503 - 3540201017 - 9783540456537 - 9783540482826 - 9783540755609

First Setence:

"Description logics (DLs) [1] are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way."

Access and General Info:

First Year Published: 2003
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 for programming artificial intelligence and reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

18Foundations 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.

19Programming Logic and Design, Introductory

By Joyce Farrell

“Programming Logic and Design, Introductory” Metadata:

Title: ➤ Programming Logic and Design, Introductory
Author: Joyce Farrell
Language: English
Number of Pages: Median: 384
Publisher: ➤ Cengage Learning - Course Technology
Publish Date: 2012 - 2014 - 2017

“Programming Logic and Design, Introductory” Subjects and Themes:

Subjects: Logic programming - Logic design

Edition Identifiers:

The Open Library ID: OL28478939M - OL28623094M - OL28320392M
Library of Congress Control Number (LCCN): 2013950529 - 2011944303
All ISBNs: ➤ 9781133526513 - 1285845773 - 9781285845777 - 1337109630 - 1133526519 - 9781337109635

Access and General Info:

First Year Published: 2012
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, Introductory at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

20Programmable logic controllers

By James A Rehg, James A. Rehg and Glenn J. Sartori

“Programmable logic controllers” Metadata:

Title: Programmable logic controllers
Authors: James A RehgJames A. RehgGlenn J. Sartori
Language: English
Number of Pages: Median: 624
Publisher: ➤ Pearson Education, Limited - Prentice Hall
Publish Date: 2006 - 2007 - 2013 - 2014
Publish Location: Upper Saddle River, N.J

“Programmable logic controllers” Subjects and Themes:

Subjects: Programmable controllers - Logic programming - Logic circuits - Programmable logic devices

Edition Identifiers:

The Open Library ID: OL29184944M - OL18212071M - OL29181777M - OL9296138M - OL7341483M
Library of Congress Control Number (LCCN): 2006017888
All ISBNs: ➤ 9780132926058 - 9781292040561 - 0132926059 - 9780134328812 - 0134328817 - 1292040564

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 Programmable logic controllers at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

21Handbook 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.

22Programming logic and design

By Joyce Farrell

“Programming logic and design” Metadata:

Title: Programming logic and design
Author: Joyce Farrell
Language: English
Number of Pages: Median: 539
Publisher: ➤ Brand: Cengage Learning - Course Technology - Cengage Learning
Publish Date: 2006 - 2010
Publish Location: ➤ Cambridge, Mass. & b Course Technology

“Programming logic and design” Subjects and Themes:

Subjects: Logic programming - Logic design

Edition Identifiers:

The Open Library ID: OL28468929M - OL28468921M - OL26270460M
Online Computer Library Center (OCLC) ID: 67766533
All ISBNs: ➤ 9781111823955 - 9781418848507 - 1111823952 - 1418848506 - 1111823936 - 9781111823931

Access and General Info:

First Year Published: 2006
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 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

23Rules and Reasoning

By Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri and Dumitru Roman

“Rules and Reasoning” Metadata:

Title: Rules and Reasoning
Authors: ➤ Stefania CostantiniEnrico FranconiWilliam Van WoenselRoman KontchakovFariba SadriDumitru Roman
Language: English
Number of Pages: Median: 239
Publisher: ➤ Springer International Publishing AG - Springer
Publish Date: ➤ 2017 - 2018 - 2019 - 2020 - 2021 - 2023 - 2024

“Rules and Reasoning” Subjects and Themes:

Subjects: ➤ Semantics - Programming languages (electronic computers) - Logic programming - Computer science

Edition Identifiers:

The Open Library ID: ➤ OL35858289M - OL30776014M - OL49507161M - OL36241920M - OL28228639M - OL54025016M - OL28348470M
All ISBNs: ➤ 9783031724060 - 9783319612515 - 3030911667 - 3319612514 - 9783030579760 - 9783030911669 - 9783030310943 - 3319999052 - 9783031450716 - 303057976X - 3031724062 - 3030310949 - 9783319999050 - 303145071X

Access and General Info:

First Year Published: 2017
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 Rules and Reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

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

25Logic functions and equations

By Christian Posthoff and Bernd Steinbach

“Logic functions and equations” Metadata:

Title: Logic functions and equations
Authors: Christian PosthoffBernd Steinbach
Language: English
Number of Pages: Median: 408
Publisher: ➤ Springer - Springer London, Limited - Springer International Publishing AG - Steinbach Bernd Posthoff Christian
Publish Date: ➤ 2005 - 2010 - 2011 - 2013 - 2018 - 2021 - 2023

“Logic functions and equations” Subjects and Themes:

Subjects: ➤ Mathematics - Computer logic - Symbolic and mathematical Logic - Computer science - Informatik - Boolesche Funktion - Binary system (Mathematics) - Boolesche Gleichung - Logic programming - Logic, symbolic and mathematical

Edition Identifiers:

The Open Library ID: ➤ OL48195977M - OL37089468M - OL35576723M - OL28163307M - OL27996325M - OL27772429M - OL9398263M
All ISBNs: ➤ 9781402029370 - 9048181658 - 9789048181650 - 9781402029387 - 1402029381 - 9783030889449 - 1441952616 - 9783030024192 - 3030024199 - 9783030889470 - 3030889475 - 1402029373 - 3030889440 - 9781441952615

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 functions and equations at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

26Programming with higher-order logic

By Dale Miller

“Programming with higher-order logic” Metadata:

Title: ➤ Programming with higher-order logic
Author: Dale Miller
Language: English
Number of Pages: Median: 306
Publisher: Cambridge University Press
Publish Date: 2012
Publish Location: Cambridge

“Programming with higher-order logic” Subjects and Themes:

Subjects: ➤ Logic programming - Prolog (Computer program language) - COMPUTERS / Programming Languages / General

Edition Identifiers:

The Open Library ID: ➤ OL53949707M - OL40839702M - OL40496530M - OL40400625M - OL34478738M - OL25355366M
Online Computer Library Center (OCLC) ID: 774491609
Library of Congress Control Number (LCCN): 2012016719
All ISBNs: ➤ 9780521879408 - 9781139021326 - 9781139512121 - 113951492X - 113902132X - 1139512129 - 1139516574 - 1280775084 - 9781139514927 - 9781139516570 - 052187940X - 9781280775086

Access and General Info:

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

Online Marketplaces

Find Programming with higher-order logic at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

27Handbook of Logic in Computer Science

By S. Abramsky

“Handbook of Logic in Computer Science” Metadata:

Title: ➤ Handbook of Logic in Computer Science
Author: S. Abramsky
Language: English
Number of Pages: Median: 584
Publisher: ➤ Oxford University Press, Incorporated - Oxford University Press, USA - Clarendon Press - Oxford University Press
Publish Date: 1992 - 1993 - 1995 - 2001
Publish Location: Oxford - New York

“Handbook of Logic in Computer Science” Subjects and Themes:

Subjects: ➤ Symbolic and mathematical Logic - Computer science - Logic, symbolic and mathematical - Logic programming - Electronic Data Processing - Informatique - Logique symbolique et mathématique - COMPUTERS - Reference - Machine Theory - Computer Literacy - Information Technology - Data Processing - Hardware - General - Ciencia da computacao ou informatica - Logica e semantica de programacao - 1888

Edition Identifiers:

The Open Library ID: ➤ OL1700286M - OL7400697M - OL15537147M - OL7400712M - OL7400708M - OL7400713M
Online Computer Library Center (OCLC) ID: 25831688 - 53983677 - 270117374
Library of Congress Control Number (LCCN): 92000510
All ISBNs: ➤ 0198537816 - 9780198537359 - 9780198537618 - 9780198537625 - 9780198537809 - 9780198537816 - 019853762X - 0198537808 - 0198537352 - 0198537611

Access and General Info:

First Year Published: 1992
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 Computer Science at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

28Logic Programming

By James H. Andrews and J. Andrews

“Logic Programming” Metadata:

Title: Logic Programming
Authors: James H. AndrewsJ. Andrews
Language: English
Number of Pages: Median: 110
Publisher: Cambridge University Press
Publish Date: ➤ 1992 - 1993 - 2004 - 2009 - 2011
Publish Location: Cambridge - New York

“Logic Programming” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Logic programming - Programming languages (Electronic computers) - Semantics - Proof theory

Edition Identifiers:

The Open Library ID: ➤ OL21503786M - OL7748292M - OL34443060M - OL1493168M - OL7740641M - OL40462634M
Online Computer Library Center (OCLC) ID: 492496587
Library of Congress Control Number (LCCN): 93166788
All ISBNs: ➤ 9780521607544 - 0511882025 - 9780521432191 - 052160754X - 0511526539 - 9780511526534 - 0521432197 - 9780511882029

First Setence:

"The quest for programming languages which are more readable and expressive has led to many developments in programming languages, one of which is the logic programming paradigm."

Access and General Info:

First Year Published: 1992
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 Logic Programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

29Extension Innovation Method

By Chunyan Yang

“Extension Innovation Method” Metadata:

Title: Extension Innovation Method
Author: Chunyan Yang
Language: English
Number of Pages: Median: 258
Publisher: Taylor & Francis Group
Publish Date: 2018 - 2020

“Extension Innovation Method” Subjects and Themes:

Subjects: ➤ Mathematics - Combinatorial analysis - Logic programming - Artificial intelligence - Group extensions (Mathematics) - Formal methods (Computer science) - Extensions de groupes (Mathématiques) - Méthodes formelles (Informatique) - TECHNOLOGY - Engineering - General - BUSINESS & ECONOMICS - Management Science - Manufacturing

Edition Identifiers:

The Open Library ID: ➤ OL33731359M - OL30173724M - OL33779309M - OL33747377M - OL34653126M - OL33779363M
Online Computer Library Center (OCLC) ID: 1076935529
All ISBNs: ➤ 0429769962 - 0429429444 - 9780429769979 - 1138367214 - 9780429429446 - 0429769954 - 9780429769962 - 0429769970 - 0367570742 - 9780367570743 - 9781138367210 - 9780429769955

Access and General Info:

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

Online Marketplaces

Find Extension Innovation Method at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

30Mathematical 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.

31The Reasoned Schemer

By Daniel P. Friedman, William E. Byrd and Oleg Kiselyov

“The Reasoned Schemer” Metadata:

Title: The Reasoned Schemer
Authors: Daniel P. FriedmanWilliam E. ByrdOleg Kiselyov
Language: English
Number of Pages: Median: 184
Publisher: MIT Press - The MIT Press
Publish Date: 2005 - 2018 - 2019
Publish Location: Cambridge, MA

“The Reasoned Schemer” Subjects and Themes:

Subjects: ➤ Scheme (Computer program language) - logic programming - relational programming - Programming languages (electronic computers)

Edition Identifiers:

The Open Library ID: OL26953073M - OL29254615M - OL29754464M - OL29707352M - OL29790473M
Online Computer Library Center (OCLC) ID: 1005057386
Library of Congress Control Number (LCCN): 2017046328
All ISBNs: ➤ 9780262256179 - 9780262294287 - 9780262332491 - 0262256177 - 0262348772 - 0262535513 - 0262332493 - 0262294281 - 9780262348775 - 9780262535519

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 The Reasoned Schemer at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

32Time and Logic

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.

33Programming Logics

By Andrei Voronkov

“Programming Logics” Metadata:

Title: Programming Logics
Author: Andrei Voronkov
Language: English
Number of Pages: Median: 456
Publisher: ➤ Springer - Imprint: Springer - Springer Berlin Heidelberg
Publish Date: 2013
Publish Location: Berlin, Heidelberg

“Programming Logics” Subjects and Themes:

Subjects: ➤ Mathematical Logic and Formal Languages - Computer Imaging, Vision, Pattern Recognition and Graphics - Programming Techniques - Logic design - Computer vision - Logics and Meanings of Programs - Computer science - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Logic programming

Edition Identifiers:

The Open Library ID: OL30536650M - OL28026127M - OL27083203M
All ISBNs: ➤ 9783642376511 - 3642376517 - 3642376509 - 9783642376504 - 9783642376528 - 3642376525

Access and General Info:

First Year Published: 2013
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 Logics at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

34Handbook of Automated Reasoning

By Andrei Voronkov

“Handbook of Automated Reasoning” Metadata:

Title: ➤ Handbook of Automated Reasoning
Author: Andrei Voronkov
Language: English
Number of Pages: Median: 1658
Publisher: ➤ North Holland - Elsevier Science & Technology Books
Publish Date: 2001

“Handbook of Automated Reasoning” Subjects and Themes:

Subjects: ➤ Artificial intelligence - Knowledge representation (information theory) - Deductive databases - Logic programming - Functional programming (computer science)

Edition Identifiers:

The Open Library ID: OL33417150M - OL7530516M - OL44172661M
All ISBNs: ➤ 0444508120 - 0080929699 - 9780080929699 - 9780444508126 - 0080532799 - 9780080532790

First Setence:

"Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908]."

Access and General Info:

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

Online Marketplaces

Find Handbook of Automated Reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

35Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan, Aart Middeldorp and Andrei Voronkov

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
Authors: Ken McMillanAart MiddeldorpAndrei Voronkov
Language: English
Number of Pages: Median: 732
Publisher: ➤ Springer London, Limited - Springer
Publish Date: 2012 - 2013 - 2015

“Logic for Programming, Artificial Intelligence, and Reasoning” Subjects and Themes:

Subjects: ➤ Logic programming - Artificial intelligence - Automatic theorem proving - Reasoning - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Techniques - Programming Languages, Compilers, Interpreters

Edition Identifiers:

The Open Library ID: OL28129291M - OL28157946M - OL37229354M - OL28047598M - OL28286629M
All ISBNs: ➤ 3642452221 - 3642452213 - 9783642287183 - 3662488981 - 9783642452222 - 3642287182 - 9783662488980 - 9783642452215 - 9783642452208 - 3642452205

Access and General Info:

First Year Published: 2012
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 for Programming, Artificial Intelligence, and Reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

36Logic programming

By Robert Kowalski and Kenneth A. Bowen

“Logic programming” Metadata:

Title: Logic programming
Authors: Robert KowalskiKenneth A. Bowen
Language: English
Number of Pages: Median: 1690
Publisher: The MIT Press - MIT Press
Publish Date: 1988
Publish Location: Cambridge, Mass

“Logic programming” Subjects and Themes:

Subjects: Logic programming - Congresses - Computer science

Edition Identifiers:

The Open Library ID: OL10238279M - OL19712553M - OL10238278M - OL10238277M - OL21857755M
Online Computer Library Center (OCLC) ID: 18259140
Library of Congress Control Number (LCCN): 88013337
All ISBNs: ➤ 0262610566 - 9780262610551 - 026261054X - 0262610558 - 9780262610544 - 9780262610568

Access and General Info:

First Year Published: 1988
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.

37Programming Logic and Design, Comprehensive, Loose-leaf Version

By Joyce Farrell

“Programming Logic and Design, Comprehensive, Loose-leaf Version” Metadata:

Title: ➤ Programming Logic and Design, Comprehensive, Loose-leaf Version
Author: Joyce Farrell
Publisher: Cengage Learning
Publish Date: 2017

“Programming Logic and Design, Comprehensive, Loose-leaf Version” Subjects and Themes:

Subjects: Logic programming - Logic design

Edition Identifiers:

The Open Library ID: OL32630398M
All ISBNs: 9781337685689 - 1337685682

Access and General Info:

First Year Published: 2017
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 Logic and Design, Comprehensive, Loose-leaf Version at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

38Logic and Declarative Language

By M. Downward

“Logic and Declarative Language” Metadata:

Title: Logic and Declarative Language
Author: M. Downward
Language: English
Number of Pages: Median: 384
Publisher: Taylor & Francis Group
Publish Date: 2004

“Logic and Declarative Language” Subjects and Themes:

Subjects: Logic programming

Edition Identifiers:

The Open Library ID: OL53983953M - OL53890994M - OL33624588M - OL38749085M - OL38746359M
All ISBNs: ➤ 1135735816 - 9781135735814 - 9780203211991 - 9781135735869 - 1135735859 - 9781135735838 - 1135735832 - 9781135735852 - 0203211995 - 1135735867

Access and General Info:

First Year Published: 2004
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.

39The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

By Jan van Eijck

“The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)” Metadata:

Title: ➤ The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Author: Jan van Eijck
Language: English
Number of Pages: Median: 444
Publisher: King's College Publications
Publish Date: 2004
Publish Location: London, England

“The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)” Subjects and Themes:

Subjects: ➤ functional programming - haskell - mathematics - logic - mathematical reasoning - mathematical proofs - Logic programming - Logica - Symbolic and mathematical Logic - Haskell (programmeertaal) - Wiskunde - Functionele programmering

Edition Identifiers:

The Open Library ID: OL8479266M
All ISBNs: 0954300696 - 9780954300692

Access and General Info:

First Year Published: 2004
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 The Haskell Road To Logic, Maths And Programming (Texts in Computing S.) at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

40Practical aspects of declarative languages

By Enrico Pontelli

“Practical aspects of declarative languages” Metadata:

Title: ➤ Practical aspects of declarative languages
Author: Enrico Pontelli
Language: English
Number of Pages: Median: 236
Publisher: ➤ Springer - Springer London, Limited - Springer International Publishing AG
Publish Date: 2000 - 2003 - 2014 - 2015

“Practical aspects of declarative languages” Subjects and Themes:

Subjects: ➤ Declarative programming - Congresses - Semantics - Programming languages (Electronic computers) - Logic design - Software engineering - Computer science - Artificial intelligence - Functional programming (computer science) - Logic programming - Prolog (computer program language)

Edition Identifiers:

The Open Library ID: OL37105241M - OL34528550M - OL34516592M - OL28166008M - OL9063241M
Online Computer Library Center (OCLC) ID: 43287043
Library of Congress Control Number (LCCN): 00020529
All ISBNs: ➤ 9783319196855 - 9783540465843 - 3319196863 - 3662186349 - 3540465847 - 9783662186343 - 3319196855 - 3540669922 - 9783319196862 - 9783540669920

First Setence:

"A hotly debated issue in the language Haskell [HJW92] has been patterns."

Access and General Info:

First Year Published: 2000
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 Practical aspects of declarative languages at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

41A science of operations

By Mark Priestley

“A science of operations” Metadata:

Title: A science of operations
Author: Mark Priestley
Language: English
Number of Pages: Median: 341
Publisher: ➤ Springer - Springer London, Limited
Publish Date: 2010 - 2013
Publish Location: New York - London

“A science of operations” Subjects and Themes:

Subjects: ➤ Microcomputers - Computer programming - History - Symbolic and mathematical Logic - Programming languages (Electronic computers) - Programming languages (electronic computers) - Logic, symbolic and mathematical - Logic programming - History of Computing - Computer science

Edition Identifiers:

The Open Library ID: OL36202103M - OL25158608M
Online Computer Library Center (OCLC) ID: 653087381
Library of Congress Control Number (LCCN): 2011921403
All ISBNs: ➤ 1848825552 - 9781848825550 - 1447126351 - 9781848825543 - 1848825544 - 9781447126355

Access and General Info:

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

Online Marketplaces

Find A science of operations at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

42Answer Set Solving in Practice

By Martin Gebser, Roland Kaminski and Benjamin Kaufmann

“Answer Set Solving in Practice” Metadata:

Title: Answer Set Solving in Practice
Authors: Martin GebserRoland KaminskiBenjamin Kaufmann
Language: English
Number of Pages: Median: 512
Publisher: ➤ Morgan & Claypool Publishers - Springer Nature
Publish Date: 2012 - 2013

“Answer Set Solving in Practice” Subjects and Themes:

Subjects: ➤ Logic programming - Computer programming - Algebra, problems, exercises, etc.

Edition Identifiers:

The Open Library ID: OL37158979M - OL38360151M - OL51666156M
All ISBNs: ➤ 9783031015618 - 9781608459711 - 1608459721 - 1608459713 - 9781608459728 - 3031015614

Access and General Info:

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

Online Marketplaces

Find Answer Set Solving in Practice at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

43ALPUK91

By UK Conference on Logic Programming (3rd 1991 Edinburgh, Scotland), Geraint A. Wiggins, Chris Mellish, Tim Duncan and UK CONFERENCE ON LOGIC PROGRAMMING 1991

“ALPUK91” Metadata:

Title: ALPUK91
Authors: ➤ UK Conference on Logic Programming (3rd 1991 Edinburgh, Scotland)Geraint A. WigginsChris MellishTim DuncanUK CONFERENCE ON LOGIC PROGRAMMING 1991
Language: English
Number of Pages: Median: 242
Publisher: ➤ Springer-Verlag Berlin and Heidelberg GmbH & Co. K - Springer - Springer-Verlag
Publish Date: 1992 - 2014
Publish Location: New York - London

“ALPUK91” Subjects and Themes:

Subjects: Congresses - Logic programming

Edition Identifiers:

The Open Library ID: OL1557395M - OL7444252M - OL9054279M - OL30526220M
Online Computer Library Center (OCLC) ID: 24794566
Library of Congress Control Number (LCCN): 91038112
All ISBNs: ➤ 9781447135470 - 3540197346 - 9780387197340 - 1447135474 - 9783540197348 - 0387197346

Access and General Info:

First Year Published: 1992
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 ALPUK91 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

44Proceedings

By Symposium on Logic Programming (3rd 1986 Salt Lake City, Utah)

“Proceedings” Metadata:

Title: Proceedings
Author: ➤ Symposium on Logic Programming (3rd 1986 Salt Lake City, Utah)
Language: English
Number of Pages: Median: 285
Publisher: ➤ IEEE Computer Society Press - Order from IEEE Computer Society - Ieee Computer Society - IEEE Computer Society
Publish Date: 1986
Publish Location: ➤ Los Angeles, CA - Washington, D.C

“Proceedings” Subjects and Themes:

Subjects: Congresses - Logic programming

Edition Identifiers:

The Open Library ID: OL2338781M - OL11389720M - OL11390703M - OL11389086M
Library of Congress Control Number (LCCN): 86230554
All ISBNs: ➤ 9780818607288 - 0818607289 - 0818687282 - 9780818687280 - 0818647280 - 9780818647284

Access and General Info:

First Year Published: 1986
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 Proceedings at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

451985 Symposium on Logic Programming

By Symposium on Logic Programming (2nd 1985 Boston, Mass.)

“1985 Symposium on Logic Programming” Metadata:

Title: ➤ 1985 Symposium on Logic Programming
Author: ➤ Symposium on Logic Programming (2nd 1985 Boston, Mass.)
Language: English
Number of Pages: Median: 271
Publisher: ➤ Order from IEEE Computer Society - IEEE Computer Society Press
Publish Date: 1985
Publish Location: ➤ Washington, D.C - Los Angeles, CA

“1985 Symposium on Logic Programming” Subjects and Themes:

Subjects: Congresses - Logic programming

Edition Identifiers:

The Open Library ID: OL11389706M - OL2646655M - OL11389034M - OL11390674M
Library of Congress Control Number (LCCN): 85226158
All ISBNs: ➤ 0818646365 - 9780818686368 - 0818686367 - 9780818606366 - 9780818646362 - 0818606363

Access and General Info:

First Year Published: 1985
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 1985 Symposium on Logic Programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

46Programming language implementation and logic programming

By PLILP '90 (1990 Linköping, Sweden), Sweden) Plilp 9 (1990 Linkoping, Pierre Deransart and J. Mauszynski

“Programming language implementation and logic programming” Metadata:

Title: ➤ Programming language implementation and logic programming
Authors: ➤ PLILP '90 (1990 Linköping, Sweden)Sweden) Plilp 9 (1990 LinkopingPierre DeransartJ. Mauszynski
Language: English
Number of Pages: Median: 401
Publisher: Springer-Verlag - Springer
Publish Date: 1990 - 1991
Publish Location: Berlin - New York

“Programming language implementation and logic programming” Subjects and Themes:

Subjects: ➤ Congresses - Logic programming - Programming languages (Electronic computers) - Mathematical Logic and Formal Languages - Programming Techniques - Software engineering - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Programming Languages, Compilers, Interpreters - Artificial intelligence

Edition Identifiers:

The Open Library ID: OL1857919M - OL9058348M - OL7446560M
Online Computer Library Center (OCLC) ID: 22243384
Library of Congress Control Number (LCCN): 90010181
All ISBNs: 9780387530109 - 038753010X - 354053010X - 9783540530107

First Setence:

"Rewriting is a computational paradigm that is now widely recognized and used."

Access and General Info:

First Year Published: 1990
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 Programming language implementation and logic programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

47Professional Multicore Programming

By Cameron Hughes and Tracey Hughes

“Professional Multicore Programming” Metadata:

Title: ➤ Professional Multicore Programming
Authors: Cameron HughesTracey Hughes
Language: English
Number of Pages: Median: 612
Publisher: ➤ Wiley & Sons, Incorporated, John
Publish Date: 2008 - 2011

“Professional Multicore Programming” Subjects and Themes:

Subjects: ➤ Logic programming - Parallel programming (computer science)

Edition Identifiers:

The Open Library ID: OL39874907M - OL29073235M - OL39885889M - OL29027033M
All ISBNs: ➤ 0470443405 - 9780470443408 - 0470417676 - 0470417668 - 9780470417676 - 9780470417669 - 1281767182 - 9781281767189

Access and General Info:

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

Online Marketplaces

Find Professional Multicore Programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

48Algebraic 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: 274
Publisher: ➤ Akademie-Verlag - Springer London, Limited - de Gruyter GmbH, Walter
Publish Date: 1988 - 1989 - 2006 - 2022
Publish Location: Berlin

“Algebraic and logic programming” Subjects and Themes:

Subjects: Logic programming - Congresses - Algebraic logic

Edition Identifiers:

The Open Library ID: OL49264858M - OL34416925M - OL38808955M - OL2262676M
Library of Congress Control Number (LCCN): 89145441
All ISBNs: ➤ 3112620267 - 9783112620267 - 3112620259 - 9783055006654 - 3540460632 - 9783540460633 - 3055006658 - 9783112620250

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.

49Logic programming

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.

50Logic in Computer Science

Modelling and Reasoning about Systems

By Mark Ryan

“Logic in Computer Science” Metadata:

Title: Logic in Computer Science
Author: Mark Ryan
Language: English
Number of Pages: Median: 405
Publisher: Cambridge University Press
Publish Date: 1999 - 2000 - 2004

“Logic in Computer Science” Subjects and Themes:

Subjects: Logic programming - Computer logic - Computers & the internet - Computer science - Qa76.9.l63 h88 1999

Edition Identifiers:

The Open Library ID: OL7750243M - OL7745608M - OL7750411M - OL7765832M
Online Computer Library Center (OCLC) ID: 855545075 - 41871580
Library of Congress Control Number (LCCN): 99015233
All ISBNs: ➤ 9780521835367 - 0521835364 - 0521656028 - 9780521543101 - 9780521652001 - 0521652006 - 052154310X - 9780521656023

Access and General Info:

First Year Published: 1999
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 in Computer Science at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

Top of Page

Topic Search

AI-Generated Overview About “logic-programming”:

Books Results

Source: The Open Library

“The experience of literature” Metadata:

“The experience of literature” Subjects and Themes:

Edition Identifiers:

Author's Alternative Names:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Logic programming” Metadata:

“Logic programming” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Heritage of Western civilization” Metadata:

“Heritage of Western civilization” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Digital design fundamentals” Metadata:

“Digital design fundamentals” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“The Uncertain Reasoner's Companion” Metadata:

“The Uncertain Reasoner's Companion” Subjects and Themes:

Edition Identifiers:

First Setence:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Power tools for Logic Pro 9” Metadata:

“Power tools for Logic Pro 9” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Prose and poetry of the continental Renaissance in translation” Metadata:

“Prose and poetry of the continental Renaissance in translation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Prolog Programming for Students” Metadata:

“Prolog Programming for Students” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Foundations of Disjunctive Logic Programming” Metadata:

“Foundations of Disjunctive Logic Programming” Subjects and Themes:

Edition Identifiers:

Access and General Info:

Online Access

Downloads Are Not Available:

Online Borrowing:

Online Marketplaces

“Introduction to computer programming logic” Metadata:

“Introduction to computer programming logic” Subjects and Themes: