Bernhard Gramlich – författare
Visar alla böcker från författaren Bernhard Gramlich. Handla med fri frakt och snabb leverans.
5 produkter
Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Häftad, 2005
566 kr
Lägg i varukorg
This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19-21, 2005 in Vienna, Austria. Previously, FroCoS was organized in Munich (1996), Amst- dam (1998), Nancy (2000) and Santa Margherita Ligure near Genoa (2002). In …
Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
E-bok, 2005
739 kr
Lägg i varukorg
Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Av Bernhard Gramlich, Dale Miller m. fl.
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS …
Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Av Ulrike Sattler, Dale Miller m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS …
