>> Google Books

Algebraic and Logic Programming / Hélène Kirchner, Giorgio Levi

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1992
著者名:
ISBN:
9783540558736 [354055873X]
9783540473022 [3540473025]
書誌ID:
OB00286716
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag
7 図書 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

Foundations of Logic and Functional Programming Workshop, Boscarol, Mauro, 1947-, Carlucci Aiello, Luigia, 1946-, Levi, …

Springer-Verlag
2 電子ブック Algebraic and Logic Programming

Levi, Giorgio, Rodríguez Artalejo, Mario

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
8 図書 Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : …

International Conference on Algebraic Methodology and Software Technology, Kirchner, Hélène, Ringeissen, Christophe, …

Springer
3 電子ブック Algebraic and Logic Programming

Kirchner, Hélène, Wechler, Wolfgang, Centre national de la recherche scientifique (France)

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
9 電子ブック Algebraic and Logic Programming

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
4 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-

Springer-Verlag
10 電子ブック Algebraic and Logic Programming

Hanus, Michael, Rodríguez Artalejo, Mario

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
5 図書 Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings

Colloquium on Trees in Algebra and Programming, Kirchner, Hélène

Springer
11 電子ジャーナル The journal of logic and algebraic programming

Elsevier ScienceDirect Journals Complete, North-Holland
6 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag
12 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

SAS, Levi, Giorgio, 1942-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12