SAT 2005 : satisfiability research in the Year 2005 /

SAT 2005 : satisfiability research in the Year 2005 /

Spremljeno u:

Bibliografski detalji
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Walsh, Toby, Giunchiglia, Enrico
Format:	e-knjiga
Jezik:	English
Teme:	Artificial intelligence Information theory
Online pristup:	Click here to view the full text content
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items

Theory and applications of satisfiability testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Izdano: (2014)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Izdano: (2013)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Izdano: (2012)

KI 2005: advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings /

Guided self-organization : inception /
Izdano: (2014)

Uncertainty in artificial intelligence /

Artificial intelligence with uncertainty /
od: Li, Deyi
Izdano: (2008)

Principles and practice of constraint programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /

Conceptual structures : current research and practice /
Izdano: (1992)

Case-based reasoning research and development / 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /
Izdano: (2008)

Guided self-organization: inception /
Izdano: (2014)

Computer games : Third workshop on computer games, CGW 2014, held in conjunction with the 21st European conference on artificial intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers /
Izdano: (2014)

Declarative programming and knowledge management : Declarative programming days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
Izdano: (2014)

Theory and applications of formal argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers /
Izdano: (2014)

Proceedings of the 1st International Workshop on Artificial Life and Robotics (2005), Putra Palace Hotel, Kangar, Perlis,14-15 May 2005 /
Izdano: (2005)

User modeling 2005 : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings

Universal artificial intellegence sequential decisions based on algorithmic probability /
od: Hutter, Marcus
Izdano: (2005)

A 25-year perspective on logic programming achievements of the Italian association for logic programming, GULP /
Izdano: (2010)

AI 2005: advances in artificial intelligence : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
Izdano: (2005)

Entertainment Computing - ICEC 2005 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
od: Kato, Hirokazu
Izdano: (2005)

AI*IA 2005: advances in artificial intelligence : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

Computing nature : turing centenary perspective /
Izdano: (2013)

Adaptive learning of polynomial networks : genetic programming, backpropagation and bayesian methods /
od: Nikolaev, Nikolay Y.

Linear genetic programming
od: Brameier, Markus F.
Izdano: (2007)

The universe as automaton : From simplicity and symmetry to complexity /
od: Mainzer, Klaus
Izdano: (2012)

Artificial intelligence with uncertainty /
od: Li, Deyi
Izdano: (2008)

Autonomous search /
Izdano: (2012)

Artificial intelligence with uncertainty
od: Li, Deyi
Izdano: (2008)

Artificial intelligence with uncertainty
od: Li, Deyi
Izdano: (2008)

Advances in web-based learning - ICWL 2005 : 4th International Conference, Hong Kong, China, July 31 - August 3, 2005, Proceedings

Conceptual structures : current research and practice /
Izdano: (1992)

Web information systems engineering - WISE 2005 workshops : WISE 2005 International Workshops, New York, NY, USA, November 20-22, 2005, Proceedings

Web information systems engineering - WISE 2005 : 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings /

Database and expert systems applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
Izdano: (2005)

Intelligent virtual agents : 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings /

The semantic web - ISWC 2005 / 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings

Intelligent data engineering and automated learning - IDEAL 2005 : 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Development of an attitude control system for InnoSAT satellite /
od: Muhyi Yaakop
Izdano: (2011)

Development of an attitude control system for InnoSAT satellite /
od: Muhyi Yaakop
Izdano: (2011)