Tools

LEADER 01055cam a2200313Ia 4500

001 ocm09183536;

005 20141212042457.0;

008 830202s1982 gw a b 001 0 eng d;

020 a| 3528085207;

035 a| (Sirsi) o09183536;

035 a| (OCoLC)9183536;

040 a| IQUc| IQUd| EREd| UtOrBLW;

049 a| ERE*;

090 a| QA76.9.A96b| B5x;

100 1 a| Bibel, W.,d| 1938-=| ^A144759;

245 10 a| Automated theorem proving /c| Wolfgang Bibel.;

260 a| Braunschweig :b| F. Vieweg,c| 1982.;

300 a| xiii, 292 pages :b| illustrations ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes index.;

504 a| Bibliography: p. [277]-287;

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

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

919 a| BOOK;

596 a| 1;

998 a| 199245;

999 a| QA76.9.A96 B5Xw| LCc| 1i| 310372002284658d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/10/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Automated theorem proving / Wolfgang Bibel.

Author/creator	Bibel, W., 1938-
Format	Book
Publication Info	Braunschweig : F. Vieweg, 1982.
Description	xiii, 292 pages : illustrations ; 23 cm
Subjects	Automatic theorem proving. Logic, Symbolic and mathematical.

General note	Includes index.
Bibliography note	Bibliography: p. [277]-287
ISBN	3528085207

Availability

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

Automated theorem proving / Wolfgang Bibel.

Click here for more information about this title

Availability