Termination proofs for logic programs (Record no. 27250)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00398nam a2200157Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160511s9999||||xx |||||||||||||| ||und|| |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | C-182473 |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 004.8004.4 |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | III 13194 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | PLšMER, Lutz |
| 245 ## - TITLE STATEMENT | |
| Title | Termination proofs for logic programs |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Berlin; Heidelberg; New-York |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Date of publication, distribution, etc. | 1990 |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Purchase price | 46400 lei |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Institution code [OBSOLETE] | 004.8/P72 |
No items available.