JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings <Lecture notes in computer science>
Michael Hanus, Mario Rodríguez-Artalejo (eds.)、Spr・・・
viii, 344 p. 24 cm
3540617353
Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings <Lecture notes in computer science>
Jacques Calmet ... [et al.] (eds.)、Springer、c2002
xi, 341 p. 24 cm
3540438653
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings <Lecture notes in computer science>
J. Demetrovics, B. Thalheim (eds.)、Springer-Verlag・・・
vi, 428 p. 25 cm
0387512519