Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers

>> Google Books

Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers

フォーマット:

図書

責任表示:

Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)

言語:

英語

出版情報:

Berlin ; New York ; Tokyo : Springer-Verlag, c1995

形態:

vi, 229 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 927 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BA25326034

ISBN:

9783540594673 [3540594671] (: gw)

9780387594675 [0387594671] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Logic programming (Computer science)--Congresses; Parallel processing (Electronic computers)--Congresses
分類・件名:	LCC : QA76.58 DDC : 004/.35 LCSH : Parallel processing (Electronic computers) -- Congresses LCSH : Logic programming (Computer science) -- Congresses
注記:	"ICLP '94, the Eleventh International Conference on Logic Programming" -- Pref Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer	7 図書 Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P. Springer
2 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers International Workshop LPKR, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer	8 図書 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings JELIA, Alferes, José Júlio, Pereira, Luís Moniz, Orlowska, Ewa Springer
3 図書 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings International Conference on Logic Programming, Beaumont, A., 1959-, Gupta, G., 1963- Springer-Verlag	9 図書 Proceedings : the 22nd Annual International Symposium on Computer Architecture, June 22-24, 1995, Santa Margherita Ligure, Italy International Symposium on Computer Architecture, IEEE Computer Society, TCCA, SIGARCH IEEE Computer Society Press
4 図書 Logic programming and non-monotonic reasoning : proceedings of the second international workshop Pereira, Luís Moniz, Nerode, Anil, 1932- MIT Press	10 図書 Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag
5 図書 Reasoning with logic programming Alferes, José Júlio, Pereira, Luís Moniz Springer	11 図書 Computer vision--ECCV '92 : Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992 : proceedings European Conference on Computer Vision, Sandini, G. (Giulio) Springer-verlag, c1992
6 図書 Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of … International Workshop on Logic Program Synthesis and Transformation, Clement, T. P. (Timothy Paul), 1954-, Lau, K.-K. … Springer-Verlag	12 図書 Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings JELIA, Dix, J. (Jürgen), 1961-, Fariñas del Cerro, Luis, Furbach, Ulrich Springer