Tools

LEADER 01393cam a2200373 a 4500

001 ocm16466351;

005 20141212021910.0;

008 870728s1987 wb a b 000 0 eng ;

010 a| 87020773;

020 a| 0387182179 (U.S. : pbk.);

035 a| (Sirsi) o16466351;

035 a| (OCoLC)16466351;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.A96b| S62 1987;

082 0 a| 511.32| 19;

100 1 a| Snyers, Dominique,d| 1959-=| ^A218090;

245 10 a| From logic design to logic programming :b| theorem proving techniques and P-functions /c| Dominique Snyers, André Thayse.;

300 a| iv, 125 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 ;v| 271;

504 a| Bibliography: p. [121]-125.;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Algorithms.=| ^A17554;

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

700 1 a| Thayse, André,d| 1940-=| ^A101339;

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

919 a| BOOK;

596 a| 1;

998 a| 302434;

999 a| QA76.9.A96 S62 1987w| LCc| 1i| 30372004467632d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/3/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Author/creator	Snyers, Dominique, 1959-
Other author	Thayse, André, 1940-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1987.
Description	iv, 125 pages : illustrations ; 25 cm.
Subjects	Automatic theorem proving. Algorithms. Logic programming.

Series	Lecture notes in computer science ; 271 Lecture notes in computer science 271. ^A466336
Bibliography note	Bibliography: p. [121]-125.
LCCN	87020773
ISBN	0387182179 (U.S. : pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 S62 1987	✔ Available	Place Hold

From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Click here for more information about this title

Availability