Tools

LEADER 01071cam a2200313 a 4500

001 ocm17444081;

005 20141212053554.0;

008 890208s1988 enka b 001 0 eng d;

010 a| gb 88006221;

015 a| GB88-6221;

020 a| 0126495203 :c| £26.00;

035 a| (Sirsi) o17444081;

035 a| (OCoLC)24175211;

040 a| UKMc| UKMd| EREd| UtOrBLW;

049 a| EREE;

090 a| BC135b| .N66x 1988;

245 00 a| Non-standard logics for automated reasoning /c| edited by Philippe Smets [and others].;

260 a| London ;a| San Diego, Calif. :b| Academic,c| 1988.;

300 a| x, 334 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographies and index.;

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

700 1 a| Smets, Philippe.=| ^A234958;

919 a| BOOK;

596 a| 1;

998 a| 330609;

999 a| BC135 .N66X 1988w| LCc| 1i| 30372005020364d| 5/5/2009f| 4/22/2009g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/15/1989x| BOOKz| JSTACKSo| .STAFF. 0;

Non-standard logics for automated reasoning / edited by Philippe Smets [and others].

Other author	Smets, Philippe.
Format	Book
Publication Info	London ; San Diego, Calif. : Academic, 1988.
Description	x, 334 pages : illustrations ; 24 cm
Subjects	Logic, Symbolic and mathematical.

Bibliography note	Includes bibliographies and index.
LCCN	gb 88006221
ISBN	0126495203 :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	BC135 .N66X 1988	✔ Available	Place Hold

Non-standard logics for automated reasoning / edited by Philippe Smets [and others].

Click here for more information about this title

Availability