Automatisierte Deduktion, Cade-19: 19th International Conference on Automated Ded...
75,22 €
Sutcli?e and Chr- tian Suttner. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.
Jetzt bei Ebay:
