Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings
N. G. de Bruijn (auth.), Harrie de Swart (eds.)Catégories:
Année:
1998
Editeur::
Springer Berlin Heidelberg
Langue:
english
Pages:
336
ISBN 10:
3540697780
ISBN 13:
9783540697787
Collection:
Lecture Notes in Computer Science 1397
Fichier:
PDF, 3.88 MB
IPFS:
,
english, 1998