Logic, Language, Information, and Computation George Metcalfe
69,54 €
Titel: Logic, Language, Information, and Computation, Untertitel: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings, Einband: Taschenbuch, Autor: George Metcalfe, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 320, Maße: 235x155x18 mm, Gewicht: 487 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Foundations of mathematics Models of computation Non-Classical Logics Philosophical Logic Proof Mining formal methods information organization logics of programs modal logic natural language proof theory type theory.
Jetzt bei Ebay:
