Ergebnisse filtern

Mathematik | Informatik

1 Treffer für „Nalon, Cláudia“

Nalon, Cláudia

Alle Filter löschen

Ergebnisse Filtern

Nalon / Schmidt Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

1. Auflage 2017

Verlag: Springer International Publishing

ISBN: 978-3-319-66901-4

Medium: Buch

69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage

69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage

vorherige Seite

nächste Seite

Artikel pro Seite:

Sortierung nach:

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular

Für Ihr bestmögliches Sack Fachmedien Erlebnis nutzen wir Cookies

Wir verwenden Cookies, um Ihr Erlebnis auf www.sack.de laufend zu verbessern. Einige sind technisch notwendig, um Ihnen unsere Dienste zur Verfügung stellen zu können. Andere helfen uns, die Inhalte unserer Seite an Ihre Anforderungen optimal anzupassen. Weitere Informationen finden Sie in unserer Datenschutzerklärung. Mit Klick auf „Alle akzeptieren“ stimmen Sie der Verwendung aller Cookies zu. Sie haben die Möglichkeit, Ihre Einstellungen jederzeit individuell anzupassen. Nähere Informationen dazu finden Sie in unseren Datenschutzhinweisen.

Notwendig

Statistik

Mathematik | Informatik

Nalon / Schmidt Automated Reasoning with Analytic Tableaux and Related Methods