Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

Vydáno 1996

ITP 2010 IJCAR 2010 ; CAV 2010 ; SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings ; Time for verification : essays in memory of Amir Pnueli

Vydáno 2010

Concurrent reactive plans : anticipating and forestalling : execution failures /

Autor Beetz, Michael, 1961-
Vydáno 2000

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /

Autor Kern-Isberner, Gabriele, 1956-
Vydáno 2001

Mental representation and processing of geografic knowledge : a computational approach /

Autor Barkowsky, Thomas, 1966-
Vydáno 2002