Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings

>> Google Books

Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings

フォーマット:

電子ブック

責任表示:

edited by Frank Pfenning

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2006

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4098

書誌ID:

NB02218337

ISBN:

9783540368359 [3540368353]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/11805618

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages Compilers Interpreters; Symbolic and Algebraic Manipulation
分類・件名:	FREE : Artificial Intelligence (incl. Robotics) LCSH : Algebra -- Data processing LCSH : Artificial intelligence LCSH : Logic design FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages LCSH : Computer science FREE : Computer Science FREE : Symbolic and Algebraic Manipulation FREE : Programming Languages Compilers Interpreters
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Term Rewriting and Applications : 18th International Conference RTA 2007 Paris France June 26-28 2007. Proceedings Baader Franz, SpringerLink (Online service) Springer-Verlag	7 電子ブック Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers Altenkirch Thorsten, McBride Conor, SpringerLink (Online service) Springer-Verlag
2 電子ブック Logic Programming (vol. 4079) : 22nd International Conference ICLP 2006 Seattle WA USA August 17-202006 Proceedings Etalle Sandro, Truszczynski Miroslav, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Principle and Practice of Constraint Programming - CP 2006 : 12th International Conference CP 2006 Nantes France September 25-292006 Proceedings Benhamou Fr-d-ric, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック Term Rewriting and Applications (vol. # 3467) : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings Giesl, Jurgen, SpringerLink (Online service) Springer-Verlag GmbH.	9 電子ブック Automated Deduction ?ECADE-21 : 21st International Conference on Automated Deduction Bremen Germany July 17-20 2007 Proceedings Pfenning Frank, SpringerLink (Online service) Springer-Verlag
4 電子ブック Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Nierstrasz, Oscar, Terzopoulos, … Springer-Verlag	10 電子ブック Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings Biere Armin, Gomes Carla P., SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック Computer Aided Verification (vol. 4144) : 18th International Conference CAV 2006 Seattle WA USA August 17-202006 Proceedings Ball Thomas, Jones Robert B., SpringerLink (Online service) Springer-Verlag GmbH.	11 電子ブック Types for Proofs and Programs : International Workshop TYPES 2004 Jouy-en-Josas France December 15-182004 Revised Selected Papers Filliatre Jean-Christophe, Werner Benjamin, Paulin-Mohring Christine, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Automated Reasoning : Third International Joint Conference IJCAR 2006 Seattle WA USA August 17-202006 Proceedings Furbach Ulrich, Shankar Natarajan, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Vardi, Moshe Y., Nierstrasz, Oscar, Mitchell, John C., … Springer-Verlag