Logical Foundations of Computer Science

53.49 EUR

Die Ausgabe des LFCS‑Symposiums 2009 aus Deerfield Beach bietet einen kompakten Überblick über aktuelle Fortschritte in der formalen Logik, Modelltheorie und deren Anwendungen in Algorithmenentwicklung sowie theoretische Durchbrüche.

Marke: Sergei Artemov
ISBN: 9783540926863
MPN: biography