Tools

LEADER 01495cam 2200385 4500

001 ocm00077840;

005 20141212155225.0;

008 700603s1968 be b 000 0 eng ;

010 a| 77467790;

015 a| Be***;

035 a| (Sirsi) o00077840;

035 a| (OCoLC)77840;

037 c| 41.60c| ($12.00);

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| ERE*;

050 00 a| QA9b| .A89;

082 0 a| 001.5/3;

245 00 a| Automation in language translation and theorem proving. :b| Some applications of mathematical logic /c| Edited by P. Braffort and F. van Scheepen.;

260 a| Brussels :b| Commission of the European Communities, Directorate-General for Dissemination of Information,c| 1968.;

300 a| xv, 295 pages ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| "EUR 4038 e";

504 a| Includes bibliographies.;

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

650 0 a| Computational linguistics.=| ^A92497;

650 0 a| Mathematical linguistics.=| ^A15833;

700 1 a| Braffort, P.q| (Paul)=| ^A639287;

700 1 a| Scheepen, F. van.=| ^A542989;

710 2 a| Commission of the European Communities.b| Directorate-General for Dissemination of Information.=| ^A22219;

919 a| BOOK;

596 a| 1;

998 a| 8397;

999 a| QA9 .A89w| LCc| 1i| 310372000054586d| 1/31/2013e| 2/8/2002l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 1/29/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Automation in language translation and theorem proving. : Some applications of mathematical logic / Edited by P. Braffort and F. van Scheepen.

Other author	Braffort, P. (Paul)
Other author	Scheepen, F. van.
Other author	Commission of the European Communities. Directorate-General for Dissemination of Information.
Format	Book
Publication Info	Brussels : Commission of the European Communities, Directorate-General for Dissemination of Information, 1968.
Description	xv, 295 pages ; 25 cm
Subjects	Logic, Symbolic and mathematical. Computational linguistics. Mathematical linguistics.

General note	"EUR 4038 e"
Bibliography note	Includes bibliographies.
LCCN	77467790
Stock number	41.60 ($12.00)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9 .A89	✔ Available	Place Hold

Automation in language translation and theorem proving. : Some applications of mathematical logic / Edited by P. Braffort and F. van Scheepen.

Click here for more information about this title

Availability