opac header image

Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies - Dordrecht Springer Netherlands, Imprint: Springer, 2011.

Mathematics and Statistics (Springer-11649)

9789400700055, 978-94-007-0005-5


Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics

511.3, / 23
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha