Buchportal für Bücher die eine ISBN tragen.

Person Matthias Baaz

Hinweis: Der Name Matthias Baaz erscheint bei verschiedenen Verlagen. Es kann sich hierbei um die jeweils selbe Person oder auch um namensgleiche handeln.

letzte lieferbare Neuerscheinungen:

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Computer Science Logic

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vie

Springer Berlin

Buchcover Computer Science Logic

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vie

Springer Berlin

Buchcover Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Springer Berlin

Buchcover Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Springer Berlin