Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer-Verlag,
1995
|
| Edice: | Lecture notes in computer science
|
| Žánr/forma: | sborníky |
| ISBN: | 3-540-59338-1 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01322nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 000012522 | ||
| 003 | CZ PrSTK | ||
| 005 | 20190408121803.0 | ||
| 008 | 950620s1995 gw ||| | eng | ||
| 020 | |a 3-540-59338-1 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.9.A96 |b T33 1995 | |
| 080 | |a 510.64(063) |2 undef | ||
| 080 | |a 510.6:681.3(063) |2 undef | ||
| 080 | |a 519.6(063) |2 undef | ||
| 245 | 0 | 0 | |a Theorem proving with analytic tableaux and related methods : |b 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings / |c Edited by Peter Baumgartner, Reiner Hähnle, Joachim Posegga |
| 260 | |a Berlin : |b Springer-Verlag, |c 1995 | ||
| 300 | |a X, 352 s. | ||
| 490 | 0 | |a Lecture notes in computer science | |
| 500 | |a Konference [workshop], St.Goar, 1995 | ||
| 655 | 7 | |a sborníky |7 fd163935 |2 czenas | |
| 650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
| 650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
| 700 | 1 | |a Baumgartner, Peter |4 edt | |
| 700 | 1 | |a Hähnle, Reiner |4 edt | |
| 700 | 1 | |a Posegga, Joachim |7 xx0046451 |4 edt | |
| 910 | |a ABA013 |b A 31559 | ||
| 964 | |a Logika matematická - počítače | ||
| 964 | |a Kalkuly - teorie | ||
| 964 | |a Matematika výpočetní | ||
| 996 | |a STK |b 2660104307 |c 3225/95 |d 19950620 |f 1577.00 |g A 31559 |v QA76 .9 .A96 T33 1995 |l 6.NP, regál 6D/079 |t 03 | ||