>> Amazon.co.jp
このページのQRコード

Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers

種類:
電子ブック
責任表示:
edited by Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1995
著者名:
シリーズ名:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 927
ISBN:
9783540492726 [3540492720]  CiNii Books  Calil
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
http://dx.doi.org/10.1007/BFb0030655
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers

Pereira, Louis M., Przymusinski, Teodor C., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 …

Fribourg, Laurent, Turini, Franco, SpringerLink (Online service)

Springer-Verlag
2 電子ブック Automata, Languages and Programming : Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings

Ausiello, G., Böhm, C., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Berardi, Stefano., Coppo, Mario., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 電子ブック Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Berardi, Stefano, Coppo, Mario, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Reasoning with Logic Programming

Alferes, José Júlio, Moniz Pereira, Luís, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May …

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Logics of Programs : Brooklyn, June 17-19, 1985

Parikh, Rohit., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 電子ブック Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings

Beaumont, A., Gupta, G., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Computer Vision — ECCV'92 : Second European Conference on Computer Vision Santa Margherita Ligure, Italy, May 19–22, 1992 Proceedings

Sandini, G., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

MacNish, Craig, Pearce, David, Pereira, Luís Moniz, SpringerLink (Online service)

Springer-Verlag