Automated reasoning : international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers / Rajeev Goré ... (eds.)
Saved in:
MitwirkendeR: | |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Siena : Univ. Siena, 2001 |
Year of Publication: | 2001 |
Language: | English |
Physical Description: | 189 S.; 30 cm |
Notes: | Literaturangaben |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automated Reasoning : : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings.
by: Blanchette, Jasmin.
Published: (2022.) -
Automated reasoning : : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.
by: Blanchette, Jasmin
Published: (2022) -
Artificial neural networks - ICANN 2001 : international conference, Vienna, Austria, August 21 - 25, 2001 ; proceedings / Georg Dorffner ... (eds.)
Published: (2001) -
Graph drawing : 9th international symposium, GD 2001, Vienna, Austria, September 23 - 26, 2001 ; revised papers / Petra Mutzel ... (eds.)
Published: (2002) -
Proceedings of the 8th International Seminar on Apterygota : Certosa di Pontignano, Siena, Italy, 12 - 16 September 2010 / ed. of this issue: Ulrich Burkhardt ...
Published: (2011)