Handbook of Automated Reasoning (Record no. 17708)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01051nam a2200289Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160510s9999||||xx |||||||||||||| ||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0-262-18223-8; 0-444-50813-9 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | C-242463; C-242464 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 519.7/.8; 681.5 |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | III 19230 |
| 245 ## - TITLE STATEMENT | |
| Title | Handbook of Automated Reasoning |
| 245 ## - TITLE STATEMENT | |
| Statement of responsibility, etc. | editors Alan Robinson and Andrei Voronkov |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Amsterdam; Cambridge [Massachusetts] |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc. | Elsevier; \The \\Mit Press |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Date of publication, distribution, etc. | 2001 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 2 vol. ; 25 cm |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | \\Handbook of Automated Reasoning\ vol. 1; \\Handbook of Automated Reasoning\ vol. 2 |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | tratat |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | matematică; matematică -- aplicată în alte domenii ale cunoașterii; matematică -- cibernetică matematică; matematică calculatorie; automatizări |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | ROBINSON, Alan; VORONKOV, Andrei |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Relator term | ed.; ed. |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Method of acquisition | Donație externă |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Accession number | 2007/33 |
No items available.