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

Algebra AND Artificial intelligence

Reset Filters

Show filters (3)

Book

Algebra AND Artificial intelligence

Ask a Librarian

Books & more: Hits 1 - 20 of 46

sort by

Select all titles on this page

Select result number 1

1

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 2

2

Rewriting Techniques and Applications [E-Book] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /

Middeldorp, Aart.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Formal Grammar [E-Book] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

E-Book

Formal Grammar [E-Book] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

Egg, Markus.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

E-Book

Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Kuchen, Herbert.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /

E-Book

Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /

Kaiser, Łukasz.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [E-Book] / Foreword by Alan Bundy

E-Book

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [E-Book] / Foreword by Alan Bundy

Kohlhase, Michael
2006

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Artificial Intelligence and Symbolic Computation [E-Book] / 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

E-Book

Artificial Intelligence and Symbolic Computation [E-Book] / 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Calmet, Jaques
2006

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Cognitive Engineering [E-Book] : A Distributed Approach to Machine Intelligence /

E-Book

Cognitive Engineering [E-Book] : A Distributed Approach to Machine Intelligence /

Konar, Amit.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Stochastic Coalgebraic Logic [E-Book] /

E-Book

Stochastic Coalgebraic Logic [E-Book] /

Doberkat, Ernst-Erich
2009

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Flow, Gesture, and Spaces in Free Jazz [E-Book] : Towards a Theory of Collaboration /

E-Book

Flow, Gesture, and Spaces in Free Jazz [E-Book] : Towards a Theory of Collaboration /

Mazzola, Guerino B.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Term Rewriting and Applications (vol. # 3467) [E-Book] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

E-Book

Term Rewriting and Applications (vol. # 3467) [E-Book] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Giesl, Jürgen.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /

E-Book

Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21,...

Swart, Harrie C. M.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Rewriting Techniques and Applications [E-Book] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

Narendran, Paliath.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Rewriting Techniques and Applications [E-Book] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /

Tison, Sophie.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Computational Logic: Logic Programming and Beyond [E-Book] : Essays in Honour of Robert A. Kowalski Part II /

E-Book

Computational Logic: Logic Programming and Beyond [E-Book] : Essays in Honour of Robert A. Kowalski Part II /

Kakas, Antonis C.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Types for Proofs and Programs [E-Book] / International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

E-Book

Types for Proofs and Programs [E-Book] / International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Filliatre, Jean-Christophe
2006

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Theory and Applications of Relational Structures as Knowledge Instruments II [E-Book] / International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

E-Book

Theory and Applications of Relational Structures as Knowledge Instruments II [E-Book] / International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Swart, Harrie de
2006

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /

Kuznetsov, Sergei O.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Term Rewriting and Applications (vol. # 4098) [E-Book] / 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

E-Book

Term Rewriting and Applications (vol. # 4098) [E-Book] / 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Pfenning, Frank
2006

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

E-Book

Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

Palsberg, Jens
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
Next
[3]

Narrow Search Results

Electronic Edition 46

Book

Conference Publication 34

From:

To:

Hutchison, David 2 Kanade, Takeo 2 Kittler, Josef 2 Kleinberg, Jon M. 2 Mattern, Friedemann 2 Mitchell, John C. 2 more ... Naor, Moni 2 Nierstrasz, Oscar 2 Pandu Rangan, C. 2 Steffen, Bernhard 2 Sudan, Madhu 2 Terzopoulos, Demetri 2 Tygar, Doug 2 Vardi, Moshe Y. 2 Weikum, Gerhard 2 Altenkirch, Thorsten 1 Baader, Franz 1 Baczynski, Michal 1 Benhamou, Belaid. 1 Berardi, Stefano 1 Calmet, Jacques. 1 Calmet, Jaques 1 Campbell, John A. 1 Caprotti, Olga. 1 Cherlin, Paul B. 1 Damiani, Ferruccio 1 Doberkat, Ernst-Erich 1 Dorst, Leo. 1 Düntsch, Ivo 1 Egg, Markus. 1 see all ... less ...

Algebra Artificial intelligence Computer science 45 Logic design 20 Software engineering 18 Computational complexity 12 more ... Data mining 5 Computer software 4 Information storage and retrieval systems 3 Computer Communication Networks 2 Computer graphics 2 Computer simulation 2 Computer vision 2 Electronic data processing 2 Information systems 2 Logic, Symbolic and mathematical 2 Mathematics 2 Algorithms 1 Combinatorics 1 Computational linguistics 1 Computer aided design 1 Consciousness 1 Database management 1 Distribution (Probability theory) 1 Engineering 1 Engineering mathematics 1 Geometry, algebraic 1 Grammar, Comparative and general 1 Mathematical statistics 1 Music 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...