Produkt
KlappentextLabelling 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.
Details
ISBN/GTIN978-0-7923-7749-8
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2000
Erscheinungsdatum31.01.2000
Seiten292 Seiten
SpracheEnglisch
Gewicht625 g
IllustrationenXIV, 292 p.
Artikel-Nr.10550922
Rubriken