Mathematical Methods of Specification and Synthesis of...

Main
Computers - Computer Science
Mathematical Methods of Specification...

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

หมวดหมู่:

Computers - Computer Science

ปี:

1986

ฉบับพิมพ์ครั้งที่:

1

สำนักพิมพ์:

Springer-Verlag Berlin Heidelberg

ภาษา:

english

จำนวนหน้า:

249

ISBN 10:

3540164448

ISBN 13:

9783540164449

ซีรีส์:

Lecture Notes in Computer Science 215

ไฟล์:

DJVU, 2.88 MB

IPFS:

,

english, 1986

หนังสือเล่มนี้ไม่สามารถดาวน์โหลดได้เนื่องจากมีคำร้องเรียนจากผู้ถือลิขสิทธิ์

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

คุณอาจสนใจ

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.) — Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

E. Börger — Computability, complexity, logic

COLT — Proceedings of the Second Annual Workshop on Computational Learning Theory

Rene Lalement, John Plaice — Computation as logic

Jan van Leeuwen (ed.) — Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

E. Boerger — Computability, Complexity, Logic

Mark A. Fulk (Eds.) — Colt Proceedings 1990

Jiří Bečvář (auth.), A. Blikle (eds.) — Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974

Giorgio Ausiello (auth.), Jozef Gruska (eds.) — Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977

Dines Bjørner (auth.), P. Dembiński (eds.) — Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.) — Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981

Klaus Bothe (auth.), Andrzej Skowron (eds.) — Computation Theory: Fifth Symposium, Zaborów, Poland December 3–8, 1984 Proceedings

Robert P. Daley (auth.), Klaus P. Jantke (eds.) — Analogical and Inductive Inference: International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.) — Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

John Case, Dayanand S. Rajan, Anil M. Shende (auth.), Klaus P. Jantke (eds.) — Analogical and Inductive Inference: International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings

Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.) — Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Philip Laird (auth.), Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori (eds.) — Algorithmic Learning Theory: 4th International Workshop, ALT '93 Tokyo, Japan, November 8–10, 1993 Proceedings

Jānis Barzdinš (auth.), Setsuo Arikawa, Klaus P. Jantke (eds.) — Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings

Rolf Wiehagen, Thomas Zeugmann (auth.), Klaus P. Jantke, Steffen Lange (eds.) — Algorithmic Learning for Knowledge-Based Systems: GOSLER Final Report

Harald Ganzinger, David McAllester, Andrei Voronkov — Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.) — Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

คำที่ถูกค้นหาบ่อยที่สุด