Skip to contents Blume, Matthias [Editor]; Kobayashi, Naoki [Other]; Vidal, Germán [Other] ; FLOPS 10 2010 Sendai Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6009 Hanus, Michael [Editor] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5438 Garrigue, Jacques [Editor]; Hermenegildo, Manuel [Other] ; FLOPS 9 2008 Ise, Mie-ken Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4989 Kameyama, Yukiyoshi [Editor] ; FLOPS 7 2004 Nara Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7 - 9, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2998 Kuchen, Herbert [Editor]; Ueda, Kazunori [Other] ; FLOPS 5 2001 Tokio Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7 - 9, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2024 Middeldorp, Aart [Editor]; Sato, Taisuke [Other] ; FLOPS 4 1999 Tsukuba Functional and logic programming : 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11 - 13, 1999 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1722 Nielsen, Mogens [Other]; Thomas, Wolfgang [Other] ; European Association for Computer Science Logic, CSL 11 1997 Århus Computer science logic : 11th international workshop, CSL '97, annual conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1414 Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490 Lalement, René [Author] ; Plaice, John [Other] Computation as logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Paris: Masson [u.a.], 1993 Published in: Prentice Hall international series in computer science Clausing, Achim [Author] Programmiersprachen : Konzepte, Strukturen und Implementierung in Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum, Akad. Verl., 2011 Hagiya, Masami [Editor]; Wadler, Philip [Other] ; FLOPS 8 2006 Susono Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3945 Hu, Zhenjiang [Editor]; Rodríguez Artalejo, Mario [Other] ; FLOPS 6 2002 Aizu-Wakamatsu Functional and logic programming : 6th international symposium ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2441 Boley, Harold [Author] A tight, practical integration of relations and functions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1712 Kuchen, Herbert [Editor] ; WFLP 20 2011 Odense Functional and constraint logic programming : 20th international workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6815 Escobar, Santiago [Editor] ; WFLP 18 2009 Brasilia Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5979 Lloyd, John W. [Author] ; Lloyd, John Wylie [Other] Logic for learning : learning comprehensible theories from structured data Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Cognitive technologies Treleaven, Philip C. [Editor] Parallel computers : object-oriented, functional, logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester [u.a.]: Wiley, 1990 Published in: Wiley series in parallel computing Boscarol, Mauro [Editor] ; Workshop on Foundations of Logic and Functional Programming 1986 Trient Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1988 Published in: Lecture notes in computer science ; 306 Mariño, Julio [Editor] ; WFLP 19 2010 Madrid Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6559 Homer, Steven [Other]; Odifreddi, Piergiorgio [Editor] ; Centro Internazionale Matematico Estivo Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Centro Internazionale Matematico Estivo: Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) ; 1988,1 - Lecture notes in mathematics ; 1429
Blume, Matthias [Editor]; Kobayashi, Naoki [Other]; Vidal, Germán [Other] ; FLOPS 10 2010 Sendai Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6009
Hanus, Michael [Editor] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5438
Garrigue, Jacques [Editor]; Hermenegildo, Manuel [Other] ; FLOPS 9 2008 Ise, Mie-ken Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4989
Kameyama, Yukiyoshi [Editor] ; FLOPS 7 2004 Nara Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7 - 9, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2998
Kuchen, Herbert [Editor]; Ueda, Kazunori [Other] ; FLOPS 5 2001 Tokio Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7 - 9, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2024
Middeldorp, Aart [Editor]; Sato, Taisuke [Other] ; FLOPS 4 1999 Tsukuba Functional and logic programming : 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11 - 13, 1999 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1722
Nielsen, Mogens [Other]; Thomas, Wolfgang [Other] ; European Association for Computer Science Logic, CSL 11 1997 Århus Computer science logic : 11th international workshop, CSL '97, annual conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1414
Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490
Lalement, René [Author] ; Plaice, John [Other] Computation as logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Paris: Masson [u.a.], 1993 Published in: Prentice Hall international series in computer science
Clausing, Achim [Author] Programmiersprachen : Konzepte, Strukturen und Implementierung in Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum, Akad. Verl., 2011
Hagiya, Masami [Editor]; Wadler, Philip [Other] ; FLOPS 8 2006 Susono Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3945
Hu, Zhenjiang [Editor]; Rodríguez Artalejo, Mario [Other] ; FLOPS 6 2002 Aizu-Wakamatsu Functional and logic programming : 6th international symposium ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2441
Boley, Harold [Author] A tight, practical integration of relations and functions Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1712
Kuchen, Herbert [Editor] ; WFLP 20 2011 Odense Functional and constraint logic programming : 20th international workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6815
Escobar, Santiago [Editor] ; WFLP 18 2009 Brasilia Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5979
Lloyd, John W. [Author] ; Lloyd, John Wylie [Other] Logic for learning : learning comprehensible theories from structured data Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Cognitive technologies
Treleaven, Philip C. [Editor] Parallel computers : object-oriented, functional, logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester [u.a.]: Wiley, 1990 Published in: Wiley series in parallel computing
Boscarol, Mauro [Editor] ; Workshop on Foundations of Logic and Functional Programming 1986 Trient Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1988 Published in: Lecture notes in computer science ; 306
Mariño, Julio [Editor] ; WFLP 19 2010 Madrid Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6559
Homer, Steven [Other]; Odifreddi, Piergiorgio [Editor] ; Centro Internazionale Matematico Estivo Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Centro Internazionale Matematico Estivo: Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) ; 1988,1 - Lecture notes in mathematics ; 1429
> Media type Skip to next facet Books (44) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (18) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (19) Wert ausschließen Central Library (2) Wert ausschließen Show more show less
> Language Skip to next facet English (43) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (43) Wert ausschließen Mathmatics (32) Wert ausschließen Musicology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Kuchen, Herbert (5) Wert ausschließen Boscarol, Mauro (3) Wert ausschließen Blume, Matthias (2) Wert ausschließen Boley, Harold (2) Wert ausschließen Clausing, Achim (2) Wert ausschließen Escobar, Santiago (2) Wert ausschließen FLOPS 9 2008 Ise, Mie-ken (2) Wert ausschließen Garrigue, Jacques (2) Wert ausschließen Hagiya, Masami (2) Wert ausschließen Hanus, Michael (2) Wert ausschließen Homer, Steven (2) Wert ausschließen Hu, Zhenjiang (2) Wert ausschließen Kameyama, Yukiyoshi (2) Wert ausschließen Kobayashi, Naoki (2) Wert ausschließen Lauer, Peter E. (2) Wert ausschließen Mariño, Julio (2) Wert ausschließen Nielsen, Mogens (2) Wert ausschließen Odifreddi, Piergiorgio (2) Wert ausschließen Palamidessi, Catuscia (2) Wert ausschließen Thomas, Wolfgang (2) Wert ausschließen Ueda, Kazunori (2) Wert ausschließen Vidal, Germán (2) Wert ausschließen Wadler, Philip (2) Wert ausschließen ALP 7 1998 Pisa (1) Wert ausschließen Abreu, Salvador (1) Wert ausschließen Antoy, Sergio (1) Wert ausschließen Association for Computing Machinery (1) Wert ausschließen CSL 11 1997 Århus (1) Wert ausschließen Carlucci Aiello, Luigia (1) Wert ausschließen Centro Internazionale Matematico Estivo (1) Wert ausschließen Codish, Michael (1) Wert ausschließen European Association for Computer Science Logic (1) Wert ausschließen FLOPS 10 2010 Sendai (1) Wert ausschließen FLOPS 4 1999 Tsukuba (1) Wert ausschließen FLOPS 5 2001 Tokio (1) Wert ausschließen FLOPS 6 2002 Aizu-Wakamatsu (1) Wert ausschließen FLOPS 7 2004 Nara (1) Wert ausschließen FLOPS 8 2006 Susono (1) Wert ausschließen Glaser, Hugh (1) Wert ausschließen Hermenegildo, Manuel (1) Wert ausschließen Hermenegildo, Manuel V. (1) Wert ausschließen Hofstedt, Petra (1) Wert ausschließen Hutchison, David (1) Wert ausschließen John, Ulrich (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen King, Andy (1) Wert ausschließen Kiselyov, Oleg (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen LOPSTR 18 2008 Valencia (1) Wert ausschließen Lalement, René (1) Wert ausschließen Levi, Giorgio (1) Wert ausschließen Lloyd, John W. (1) Wert ausschließen Lloyd, John Wylie (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Meinke, Karl (1) Wert ausschließen Middeldorp, Aart (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nerode, Anil (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen PLILP 10 1998 Pisa (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Plaice, John (1) Wert ausschließen Platek, Richard A. (1) Wert ausschließen Rodriguez-Artalejo, Mario (1) Wert ausschließen Rodríguez Artalejo, Mario (1) Wert ausschließen Sacks, Gerald E. (1) Wert ausschließen Sato, Taisuke (1) Wert ausschließen Scedrov, Andre (1) Wert ausschließen Schrijvers, Tom (1) Wert ausschließen Seipel, Dietmar (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Stuckey, Peter J. (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Sumii, Eijiro (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Thiemann, Peter (1) Wert ausschließen Treleaven, Philip C. (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen WFLP 18 2009 Brasilia (1) Wert ausschließen WFLP 19 2010 Madrid (1) Wert ausschließen WFLP 20 2011 Odense (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Workshop on Foundations of Logic and Functional Programming 1986 Trient (1) Wert ausschließen Show more show less