Normale Ansicht MARC

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 16 2007 Aix-en-Provence (Kongressname)

Verwendet in 1 Titel(n)

Bevorzugter Term: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 16 2007 Aix-en-Provence

Siehe auch:

Hinweise

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha