Broschiertes Buch
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
1999.
1. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704460,978-3-540-66463-5
Broschiertes Buch
Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
2014
15. Juli 2014
Springer / Springer International Publishing / Springer, Berlin
86374806,978-3-319-08917-1
Broschiertes Buch
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
1996.
8. Mai 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61254-4
Broschiertes Buch
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
2008
25. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12446285,978-3-540-71069-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON
