JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Book

Artificial intelligence AND Logic design

Reset Filters

Show filters (3)

Book

Artificial intelligence AND Logic design

Ask a Librarian

Books & more: Hits 61 - 80 of 326

sort by

Select all titles on this page

Select result number 61

61

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

Bertot, Yves.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 62

62

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Ong, Luke.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 63

63

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Hurd, Joe.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 64

64

Evolvable Systems: From Biology to Hardware [E-Book] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

E-Book

Evolvable Systems: From Biology to Hardware [E-Book] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

Cosp, Jordi.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 65

65

Principles and Practice of Constraint Programming – CP 2000 [E-Book] : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

E-Book

Principles and Practice of Constraint Programming – CP 2000 [E-Book] : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

Dechter, Rina.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 66

66

Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

E-Book

Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

Giesl, Jürgen
2010

Full text

Favorites

Saved in:

QR Code

Select result number 67

67

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

E-Book

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Baldoni, Matteo
2006

Full text

Favorites

Saved in:

QR Code

Select result number 68

68

Functional and Logic Programming [E-Book] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

E-Book

Functional and Logic Programming [E-Book] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

Hagiya, Masami
2006

Full text

Favorites

Saved in:

QR Code

Select result number 69

69

Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /

E-Book

Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /

Beckert, Bernhard
2007

Full text

Favorites

Saved in:

QR Code

Select result number 70

70

Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

E-Book

Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Disc...

Meyer, Bertrand
2008

Full text

Favorites

Saved in:

QR Code

Select result number 71

71

Agent-Oriented Software Engineering VII [E-Book] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

E-Book

Agent-Oriented Software Engineering VII [E-Book] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Padgham, Lin
2007

Full text

Favorites

Saved in:

QR Code

Select result number 72

72

Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

E-Book

Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Sturm, Thomas.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 73

73

Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

E-Book

Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Mariño, Julio.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 74

74

Computable Models [E-Book] /

E-Book

Computable Models [E-Book] /

Turner, Raymond.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 75

75

Logical Analysis of Hybrid Systems [E-Book] : Proving Theorems for Complex Dynamics /

E-Book

Logical Analysis of Hybrid Systems [E-Book] : Proving Theorems for Complex Dynamics /

Platzer, André.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 76

76

Trust Networks for Recommender Systems [E-Book] /

E-Book

Trust Networks for Recommender Systems [E-Book] /

Victor, Patricia.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 77

77

Emotional Cognitive Neural Algorithms with Engineering Applications [E-Book] : Dynamic Logic: FromVague to Crisp /

E-Book

Emotional Cognitive Neural Algorithms with Engineering Applications [E-Book] : Dynamic Logic: FromVague to Crisp /

Perlovsky, Leonid.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 78

78

Decision Procedures [E-Book] : An Algorithmic Point of View /

E-Book

Decision Procedures [E-Book] : An Algorithmic Point of View /

Kroening, Daniel.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 79

79

Computer Aided Systems Theory – EUROCAST 2007 [E-Book] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /

E-Book

Computer Aided Systems Theory – EUROCAST 2007 [E-Book] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Re...

Moreno Díaz, Roberto
2007

Full text

Favorites

Saved in:

QR Code

Select result number 80

80

Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

E-Book

Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Hermann, Miki
2006

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2
3
4
5
6
7
8
9
10
11
Next
[17]

Narrow Search Results

Electronic Edition 326

Book

Conference Publication 293

From:

To:

Vardi, Moshe Y. 9 Hutchison, David 8 Kanade, Takeo 8 Kittler, Josef 8 Kleinberg, Jon M. 8 Mattern, Friedemann 8 more ... Mitchell, John C. 8 Naor, Moni 8 Nierstrasz, Oscar 8 Pandu Rangan, C. 8 Steffen, Bernhard 8 Sudan, Madhu 8 Terzopoulos, Demetri 8 Tygar, Doug 8 Weikum, Gerhard 8 Voronkov, Andrei. 7 Dix, Jürgen 5 Rossi, Francesca 5 Siekmann, Jörg 5 Voronkov, Andrei 5 Baldoni, Matteo 4 Baader, Franz 3 Bordini, Rafael H. 3 Calude, Cristian S. 3 Dastani, Mehdi 3 Dignum, Frank. 3 Goebel, Randy 3 Governatori, Guido 3 Lau, Kung-Kiu. 3 Meyer, John-Jules Ch. 3 see all ... less ...

Artificial intelligence Logic design Computer science 301 Software engineering 165 Computer Communication Networks 83 Information systems 32 more ... Computer software 27 Information storage and retrieval systems 24 Algebra 20 Computational complexity 15 Logic, Symbolic and mathematical 15 Computer simulation 13 Database management 13 Computer aided design 10 Multimedia systems 7 Bioinformatics 6 Algebra_xData processing 5 Computer hardware 5 Information theory 5 Electronic data processing 4 Translators (Computer programs) 4 Biology_xData processing 3 Management information systems 3 Optical pattern recognition 3 Algorithms 2 Data mining 2 Engineering 2 Monoclonal antibodies 2 Operating systems (Computers) 2 Text processing (Computer science 2 see all ... less ...

MWE - Decision theory, game theory 1

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...