Author books / Книги автора N. G. de Bruijn (auth.) Harrie de Swart (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора N. G. de Bruijn (auth.) Harrie de Swart (eds.)

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

pdf

Author: N. G. de Bruijn (auth.) Harrie de Swart (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

pdf

Author: N. G. de Bruijn (auth.) Harrie de Swart (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0