Computing in Horn Clause Theories

Peter Padawitz · Island Press

MLA

Padawitz, Peter. Computing in Horn Clause Theories. Island Press, 1988.

Download MLA

APA

Padawitz, P. (1988). Computing in Horn Clause Theories. Island Press.

Download APA

Chicago

Padawitz, Peter. Computing in Horn Clause Theories. Island Press, 1988.

Download Chicago

Wikipedia

{{cite book |title=Computing in Horn Clause Theories |author1=Peter Padawitz |publisher=Island Press |year=1988 |language=en |isbn=9783642738258}}

Download Wikipedia

BibTeX

@book{isbn9783642738258, title = {Computing in Horn Clause Theories}, author = {{Peter Padawitz}}, publisher = {Island Press}, year = {1988}, language = {eng}, isbn = {9783642738258}, }

Download BibTeX

Before you use it

• The catalog gives 1988 without saying it is the publication year: check it against your copy

JSON API: one request returns all five styles, normalized ISBN identity, and available quality and uncertainty fields. A 200 {found:false} response ends the immediate lookup attempt. Temporary failures carry retry guidance.

Cookie-free aggregate counts of client-reported copy, download initiation and JSON-link activation help us understand usefulness. Browser privacy opt-outs are honored.