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

Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings

種類:
電子ブック
責任表示:
edited by K. U. Schulz
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1992
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 572
ISBN:
9783540467373 [3540467378]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-55124-7
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings

Abdulrab, Habib, Pécuchet, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

Schulz, Klaus U., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 …

Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings

Nagl, Manfred, SpringerLink (Online service)

Springer-Verlag
4 図書 Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings

Schulz, K. U. (Klaus Ulrich), 1957-, International Workshop on Word Equations and Related Topics

Springer-Verlag
10 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Voronkov, Andrei, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings

Dix, J., Jantke, K. P., Schmitt, P. H., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings

Pearce, D., Wagner, G., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Nonclassical Logics and Information Processing : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings

Pearce, David, Wansing, Heinrich, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

Pettorossi, A., SpringerLink (Online service)

Springer-Verlag