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

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
viii, 367 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 845 <BA00009279>
著者名:
ISBN:
9783540584032 [354058403X]
書誌ID:
BA23317291
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Constraints in Computational Logics

Jouannaud, Jounnaud, Jean-Pierre

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings (: gw ; : us)

Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre

Springer-Verlag
2 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag
8 図書 Database and expert systems applications : 5th International Conference, DEXA '94, Athens, Greece, September 7-9, 1994 : proceedings

Database and Expert Systems Applications Conference, Karagiannis, Dimitris, 1956-

Springer-Verlag
3 電子ブック Functional Programming Languages and Computer Architecture : Proceedings, Nancy, France, September 16-19, 1985

Jouannaud, Jean-Pierre., SpringerLink (Online service)
9 図書 ALT '94 International Conference : laser methods of surface treatment and modification : 5-9 September 1994, Konstanz, Germany

ALT '94 International Conference (1994 : Konstanz, Germany), Prokhorov, A. M. (Aleksandr Mikhaĭlovich), 1916-, …

SPIE
4 図書 Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised …

CCL, Comon, Hubert, Marché, Claude, Treinen, Ralf

Springer
10 図書 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
5 図書 IROS '94 : proceedings of the IEEE/RSJ/GI International Conference on Intelligent Robots and Systems : advanced robotic systems and the real world : September … (v. 1 - softbound: v. 3)

IEEE International Workshop on Intelligent Robots and Systems, Gesellschaft für Informatik

IEEE Service Center
11 図書 Data warehousing and knowledge discovery : Third International Conference, DaWak 2001, Munich, Germany, September 5-7, 2001 : proceedings

International Conference on Data Warehousing and Knowledge Discovery, 上林, 弥彦, Winiwarter, Werner, 有川, 正俊

Springer
6 図書 Field-programmable logic : architectures, synthesis and applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, …

International Workshop on Field-Programmable Logic and Applications, Hartenstein, Reiner, Servít, Michal Z., 1944-

Springer-Verlag
12 図書 Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings (: us ; : gw)

International Workshop on Compiler Construction, Fritzson, Peter A., 1952-

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