|
|
|
Labelled Non-Classical Logics
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
Januar 2000
|
| Genre: |
Philosophie |
| ISBN: |
9780792377498 |
|
EAN-Code:
|
9780792377498 |
| Verlag: |
Springer Us |
| Einband: |
Gebunden |
| Sprache: |
English
|
| Dimensionen: |
H 241 mm / B 160 mm / D 22 mm |
| Gewicht: |
635 gr |
| Seiten: |
312 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. |
|
Newsfeed | 
Facebook | 
Twitter
