>> Google Books
所蔵情報QRコード

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1996
形態:
viii, 344 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1139 <BA00009279>
著者名:
ISBN:
9783540617358 [3540617353]
書誌ID:
BA2838791X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 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
7 電子ブック Algebraic and Logic Programming

Hanus, Hanus, Michael, Rodríguez Artalejo, Mario

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, …

Springer-Verlag
8 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955-

Springer-Verlag
3 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us)

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

Springer-Verlag
9 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer
4 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario)

Springer
10 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald

Springer
5 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
11 図書 Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

LPNMR, Baral, Chitta

Springer
6 図書 Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings (: gw ; : us)

Grabowski, Jan, Lescanne, Pierre, International Workshop on Algebraic and Logic Programming, Wechler, Wolfgang, 1940-

Springer-Verlag
12 図書 Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, …

International Seminar on Logic Database and the Meaning of Change, Freitag, Burkhard, 1953-, Post-Conference Workshop on …

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