Automated Reasoning with Analytic Tableaux and Related Methods

• ISBN13: 9783030860585
• ISBN10: 3030860582
• Format: Nonspecific Binding

Automated Reasoning With Analytic Tableaux and Related Methods

by De Nivelle, Hans

• ISBN13: 9783319243115
• ISBN10: 331924311X
• Format: Paperback

Automated Reasoning With Analytic Tableaux and Related Methods

by Schmidt, Renate A.; Nalon, Cláudia

• ISBN13: 9783319669014
• ISBN10: 331966901X
• Format: Paperback

Automated Reasoning With Analytic Tableaux and Related Methods

by Cerrito, Serenella; Popescu, Andrei

• ISBN13: 9783030290252
• ISBN10: 3030290255
• Format: Paperback

Automated Reasoning with Analytic Tableaux and Related Methods

by Serenella Cerrito

• ISBN13: 9783030290269
• ISBN10: 3030290263
• Format: Nonspecific Binding

Automated Reasoning with Analytic Tableaux and Related Methods

by Renate A. Schmidt

• ISBN13: 9783319669021
• ISBN10: 3319669028
• Format: Nonspecific Binding

Automated Reasoning with Analytic Tableaux and Related Methods

by Hans De Nivelle

• ISBN13: 9783319243122
• ISBN10: 3319243128
• Format: Nonspecific Binding

Automated Reasoning With Analytic Tableaux and Related Methods

by Tableaux 200 (2003 Rome, Italy); Cialdea Mayer, Marta; Pirri, Fiora

• ISBN13: 9783540407874
• ISBN10: 3540407871
• Format: Paperback

Automated Reasoning With Analytic Tableaux and Related Methods

by Olivetti, Nicola

• ISBN13: 9783540730989
• ISBN10: 3540730982
• Format: Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

by Giese, Martin; Waaler, Arild

• ISBN13: 9783642027154
• ISBN10: 3642027156
• Format: Paperback