Tools

LEADER 01510cam 2200373Ia 4500

001 ocm25112023;

005 20141212090845.0;

008 920115s1991 gw a b 001 0 eng d;

020 a| 3540550348 (Berlin);

020 a| 0387550348 (New York);

035 a| (Sirsi) o25112023;

035 a| (OCoLC)29033735;

040 a| TFWc| TFWd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA76.63b| .B8x 1991;

100 1 a| Bürckert, H.-J.q| (Hans-Jürgen)=| ^A289692;

245 12 a| A resolution principle for a logic with restricted quantifiers /c| H.-J. Bürckert.;

300 a| x, 116 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science. Lecture notes in artificial intelligence;

490 1 a| Lecture notes in computer science ;v| 568;

504 a| Includes bibliographical references (p. [101]-109) and indexes.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Logic programming.=| ^A204997;

650 0 a| Artificial intelligence.=| ^A15394;

830 0 a| Lecture notes in computer sciencev| 568.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

919 a| BOOK;

596 a| 1;

998 a| 423499;

999 a| QA76.63.B8X 1991w| LCc| 1i| 30372006356510d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/30/1992x| BOOKz| JSTACKSo| .STAFF. 0;

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.

Author/creator	Bürckert, H.-J.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1991.
Description	x, 116 pages : illustrations ; 25 cm.
Subjects	Logic, Symbolic and mathematical. Logic programming. Artificial intelligence.

Series	Lecture notes in computer science. Lecture notes in artificial intelligence Lecture notes in computer science ; 568 Lecture notes in computer science 568. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references (p. [101]-109) and indexes.
ISBN	3540550348 (Berlin)
ISBN	0387550348 (New York)

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.

Click here for more information about this title