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

Logic design AND Logic, Symbolic and mathematical

Reset Filters

Show filters (2)

Logic design AND Logic, Symbolic and mathematical

Ask a Librarian

Books & more: Hits 21 - 34 of 34

sort by

Select all titles on this page

Select result number 21

21

Logical Foundations of Computer Science [E-Book] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /

E-Book

Logical Foundations of Computer Science [E-Book] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /

Adian, Sergej I.
1997

Full text

Favorites

Saved in:

QR Code

Select result number 22

22

Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /

E-Book

Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /

Artemov, Sergei N.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 23

23

The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /

E-Book

The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /

Kanazawa, Makoto.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 24

24

Processes, Terms and Cycles: Steps on the Road to Infinity [E-Book] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

E-Book

Processes, Terms and Cycles: Steps on the Road to Infinity [E-Book] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

de Vrijer, Roel
2005

Full text

Favorites

Saved in:

QR Code

Select result number 25

25

Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

E-Book

Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

Kahle, Reinhard.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 26

26

Recent Trends in Algebraic Development Techniques [E-Book] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

E-Book

Recent Trends in Algebraic Development Techniques [E-Book] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

Corradini, Andrea
2009

Full text

Favorites

Saved in:

QR Code

Select result number 27

27

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 28

28

Rewriting Techniques and Applications [E-Book] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /

Nipkow, Tobias.
1998

Full text

Favorites

Saved in:

QR Code

Select result number 29

29

Theorem Proving in Higher Order Logics [E-Book] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /

Felty, Amy
1997

Full text

Favorites

Saved in:

QR Code

Select result number 30

30

Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /

Ong, Luke.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 31

31

Typed Lambda Calculi and Applications [E-Book] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings /

Girard, Jean-Yves.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 32

32

Typed Lambda Calculi and Applications [E-Book] : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings /

Abramsky, Samson
2001

Full text

Favorites

Saved in:

QR Code

Select result number 33

33

Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

Curien, Pierre-Louis
2009

Full text

Favorites

Saved in:

QR Code

Select result number 34

34

Typed Lambda Calculi and Applications [E-Book] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /

E-Book

Typed Lambda Calculi and Applications [E-Book] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /

Groote, Philippe de
1997

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2

Narrow Search Results

Electronic Edition 34

Conference Publication 29

From:

To:

Vardi, Moshe Y. 4 Hutchison, David 3 Kanade, Takeo 3 Kittler, Josef 3 Kleinberg, Jon M. 3 Mattern, Friedemann 3 more ... Mitchell, John C. 3 Naor, Moni 3 Nierstrasz, Oscar 3 Pandu Rangan, C. 3 Steffen, Bernhard 3 Sudan, Madhu 3 Terzopoulos, Demetri 3 Tygar, Doug 3 Weikum, Gerhard 3 Nerode, Anil 2 Nipkow, Tobias. 2 Ong, Luke. 2 Abramsky, Samson 1 Adian, Sergej I. 1 Artemov, Sergei N. 1 Baaz, Matthias 1 Bradfield, Julian. 1 Clote, Peter G. 1 Corradini, Andrea 1 Crossley, John Newsome. 1 Curien, Pierre-Louis 1 Ditmarsch, Hans. 1 Duparc, Jacques 1 Felty, Amy 1 see all ... less ...

Computer science 34 Logic design Logic, Symbolic and mathematical Artificial intelligence 15 Algebra 7 Information theory 5 more ... Software engineering 5 Computational complexity 3 Electronic data processing 2 Coding theory 1 Computer software 1 Database management 1 K-theory 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...