Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Conference Proceeding Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Berlin ; New York :
Springer,
c1996.
|
| Saila: | Lecture notes in computer science ;
1085. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Gaiak: |
| LEADER | 01679nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | c000177176 | ||
| 003 | CARM | ||
| 005 | 20010326000000.0 | ||
| 008 | 960429s1996 gw a b 101 0 eng | ||
| 010 | |a 96022590 | ||
| 019 | 1 | |a 12356272 |5 LACONCORD2021 | |
| 020 | |a 3540613137 | ||
| 035 | |a (OCoLC)34676096 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d DLC |d LC | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b I575 1996 |
| 082 | 0 | 0 | |a 006.3 |2 20 |
| 111 | 2 | |a International Conference on Formal and Applied Practical Reasoning, |d (1996 : |c Bonn, Germany) | |
| 245 | 1 | 0 | |a Practical reasoning : |b International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / |c Dov M. Gabbay, Hans Jürgen Ohlbach (eds.) |
| 246 | 3 | 0 | |a FAPR '96. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1996. | ||
| 300 | |a xv, 719 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1085. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Automatic theorem proving |x Congresses. | |
| 650 | 0 | |a Practical reason |x Congresses. | |
| 650 | 0 | |a Reasoning |x Congresses. | |
| 650 | 0 | |a Artificial intelligence |x Congresses. | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Ohlbach, Hans Jürgen. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1085. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL37A0 |i B05625 |p 0239791 |f BK | |
| 999 | f | f | |i b2fffe71-5fd1-509d-97ef-5f38c1f89957 |s 7d0afc81-d557-55e7-b5b1-3b045a5c5bb2 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B05625 |f A2:AL37A0 |h Other scheme |i book |m 0239791 |