Search Results - "logic program"

41

Cover Image

The Deductive Spreadsheet

by Cervesato, Iliano.
Published 2013

Get full text

Electronic

42

Cover Image

Markov logic an interface layer for artificial intelligence /

by Domingos, Pedro.
Published 2009

Abstract with links to full text

Electronic

43

Cover Image

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Published 2009

Get full text

Electronic

44

Cover Image

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /

by Montali, Marco.
Published 2010

Get full text

Electronic

45

Cover Image

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /

Published 2009

Get full text

Electronic

46

Cover Image

Artificial Intelligence: Theories, Models and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Published 2010

Get full text

Electronic

47

Cover Image

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

Published 2010

Get full text

Electronic

48

Cover Image

Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /

Published 2010

Get full text

Electronic

49

Cover Image

Intelligent Distributed Computing IV Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 /

Published 2010

Get full text

Electronic

50

Cover Image

Action programming languages

by Thielscher, Michael.
Published 2008

View fulltext via EzAccess

Electronic

51

Cover Image

Compiler Design Virtual Machines /

by Wilhelm, Reinhard., Seidl, Helmut.
Published 2010

Get full text

Electronic

52

Cover Image

Data Mining in Finance Advances in Relational and Hybrid Methods /

by Kovalerchuk, Boris., Vityaev, Evgenii.
Published 2002

View fulltext via EzAccess

Electronic

53

Cover Image

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /

Published 2013

Get full text

Electronic

[1]
« Prev
1
2
3