Computation Theory: Fifth Symposium, Zaborów, Poland...

Main
Computers - Programming
Computation Theory: Fifth Symposium,...

Computation Theory: Fifth Symposium, Zaborów, Poland December 3–8, 1984 Proceedings

Klaus Bothe (auth.), Andrzej Skowron (eds.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Computers - Programming

Година:

1985

Издание:

1

Издателство:

Springer-Verlag Berlin Heidelberg

Език:

english

Страници:

402

ISBN 10:

3540397485

ISBN 13:

9783540397489

Серия:

Lecture Notes in Computer Science 208

Файл:

PDF, 12.27 MB

IPFS:

,

english, 1985

Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права

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

— Pravin Lal

Може да се интересувате от

Various authors — A Friendly Introduction to Mathematical Logic

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

David Harel, Dexter Kozen, Jerzy Tiuryn — Dynamic logic

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

Marek Karpinski, J. Van Leeuwen (ed.) — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Moshe Machover — Set Theory, Logic and their Limitations

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Hans de Nivelle (auth.) — Collegium Logicum

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

Egidio Astesiano, Gerardo Costa (auth.), Hermann A. Maurer (eds.) — Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

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

Jon Louis Bentley, Thomas Ottmann (auth.), Jozef Gruska, Michal Chytil (eds.) — Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium à trbské Pleso, Czechoslovakia August 31 – September 4, 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Robert L. Constable (auth.), Armin B. Cremers, Hans-Peter Kriegel (eds.) — Theoretical Computer Science: 6th Gl-Conference Dortmund, January 5–7, 1983

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

Jose J.A. (ed.), Leite J. (ed.) — Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) — Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Egon Börger (auth.), Branislav Rovan (eds.) — Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 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

Juha M.R. Oikkonen, Jouko Väänänen — Logic colloquium '90: Proc. Helsinki 1990

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

Marc Denecker (auth.), Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Grazyna Mirkowska, Andrzej Salwicki — Algorithmic Logic

Zbigniew Stachniak (auth.) — Resolution Proof Systems: An Algebraic Theory

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic

Zbigniew Stachniak (auth.) — Resolution proof systems: an algebraic theory

Chong C.T., Feng Q., Ding D., et al. (eds.) — Proceedings of the 06th Asian Logic Conference

Най-често използвани термини