Filter
Søkt på: Bøker av Gilles Baum
Filter
totalt 4 treff
Die Gruselstraße
innbundet,
2023,
Tysk,
ISBN 9783458643135
Automated Reasoning
heftet,
2008,
Engelsk,
ISBN 9783540710691
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 …
Automated Reasoning
e-bok,
2008,
Engelsk,
ISBN 9783540710707
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 …