Tools

LEADER 01692cam a2200409 a 4500

001 ocm37426238;

003 OCoLC;

005 20141212125221.0;

008 970717s1997 gw a b 100 0 eng c;

010 a| 97030098;

020 a| 3540633855 (pbk. : alk. paper);

035 a| (Sirsi) o37426238;

035 a| (OCoLC)37426238;

040 a| DNLM/DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 04 a| QA76.9.A96b| K87 1997;

082 00 a| 511.32| 21;

111 2 a| Kurt Gödel Colloquiumn| (5th :d| 1997 :c| Vienna, Austria)?| UNAUTHORIZED;

245 10 a| Computational logic and proof theory :b| 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /c| Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).;

300 a| viii, 348 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

500 a| "Organized by the Kurt Gödel Society"--Pref.;

504 a| Includes bibliographical references.;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Gottlob, G.q| (Georg)=| ^A269304;

700 1 a| Leitsch, Alexander,d| 1952-=| ^A347398;

700 1 a| Mundici, Daniele,d| 1946-=| ^A347399;

710 2 a| Kurt Gödel Society.=| ^A347400;

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

596 a| 1;

998 a| 628300;

999 a| QA76.9.A96 K87 1997w| LCc| 1i| 30372009738193d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/31/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).

Author/creator	Kurt Gödel Colloquium
Format	Book
Publication Info	Berlin ; New York : Springer, ©1997.
Description	viii, 348 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Other author/creator	Gottlob, G. (Georg)
Other author/creator	Leitsch, Alexander, 1952-
Other author/creator	Mundici, Daniele, 1946-
Other author/creator	Kurt Gödel Society.
Series	Lecture notes in computer science ; 1289 Lecture notes in computer science 1289. ^A466336
General note	"Organized by the Kurt Gödel Society"--Pref.
Bibliography note	Includes bibliographical references.
LCCN	97030098
ISBN	3540633855 (pbk. : alk. paper)

Availability

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

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).

Click here for more information about this title

Availability