SAT 2005 Satisfiability Research in the Year 2005

BTU01
FHM01
UBG01
UBR01
UBY01
UPA01
Volltext

Theory and applications of satisfiability testing 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5 - 8, 2003 ; selected revised papers

TUM01
UBA01
UBM01
UPA01
Volltext

Theory and applications of satisfiability testing 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5 - 8, 2003 ; selected revised papers

Models for intercultural collaboration and negotiation

Inhaltsverzeichnis

Trust, privacy and security in digital business 6th international conference, TrustBus 2009, Linz, Austria, September 3 - 4, 2009 ; proceedings

Inhaltsverzeichnis

Frontiers of combining systems first international workshop, Munich, March 1996

Inhaltsverzeichnis

Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19 - 21, 2005 ; proceedings

Inhaltsverzeichnis

Conceptual modeling: foundations and applications essays in honor of John Mylopoulos

Inhaltsverzeichnis

Correct reasoning essays on logic-based AI in honor of Vladimir Lifschitz

Inhaltstext
Inhaltsverzeichnis

Theory and applications of satisfiability testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings

Inhaltsverzeichnis

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings

Inhaltstext
Inhaltsverzeichnis

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 ; proceedings

Inhaltsverzeichnis

AI*IA 2009: emergent perspectives in artificial intelligence XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-...

Inhaltsverzeichnis

The semantic web - ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006 ; proceedings

Inhaltstext
Inhaltsverzeichnis

ECAI 2006 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy ; including: Prestigious Applications of Intelligent Systems (PA...

Inhaltsverzeichnis

Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings

Inhaltsverzeichnis

Handbook of satisfiability

Inhaltsverzeichnis

Handbook of satisfiability

Inhaltsverzeichnis

Proceedings July 26 - 30, 1998, Madison, Wisconsin

Inhaltsverzeichnis

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selec...

Inhaltsverzeichnis