Computational aspects of an order-sorted logic with term declarations /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydáno: |
Berlin ; New York :
Springer-Verlag,
c1989.
|
| Edice: | Lecture notes in computer science ;
395. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Témata: |
| LEADER | 01408nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000162086 | ||
| 003 | CARM | ||
| 005 | 19900212000000.0 | ||
| 008 | 890821s1989 wb b 001 0 eng | ||
| 019 | 1 | |a 6705486 |5 LACONCORD2021 | |
| 020 | |a 3540517057 |b (Berlin) | ||
| 020 | |a 0387517057 |b (U.S. : alk. paper) : |c DM33.00 (West Germany) | ||
| 035 | |a (OCoLC)20318854 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC | ||
| 050 | 0 | 0 | |a QA9 |b .S343 1989 |
| 082 | 0 | 4 | |a 511.3 |2 20 |
| 100 | 1 | |a Schmidt-Schauss, M. |q (Manfred) | |
| 245 | 1 | 0 | |a Computational aspects of an order-sorted logic with term declarations / |c M. Schmidt-Schauss. |
| 246 | 3 | |a Order-sorted logic with term declarations. | |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1989. | ||
| 300 | |a viii, 171 p. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 395. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Sorting (Electronic computers) | |
| 830 | 0 | |a Lecture notes in computer science ; |v 395. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL20D0 |i C05346 |p 0213876 |f BK | |
| 999 | f | f | |i d573a196-af32-5ff4-9fc7-ea482ec60b3a |s 2da292a5-e894-5416-8ee6-2ea42dab613d |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05346 |f A2:AL20D0 |h Other scheme |i book |m 0213876 |