Search Results for Measurement Science and Instrumentation.

1.

Combinatorial Algebra: Syntax and Semantics

by

Sapir, Mark V. author.

https://doi.org/10.1007/978-3-319-08031-4

Format:

Alıntı:

Mathematical Logic and Foundations.

2.

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

by

Giese, Holger. editor.

https://doi.org/10.1007/978-3-319-09108-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

3.

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

by

Beierle, Christoph. editor.

https://doi.org/10.1007/978-3-319-04939-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

4.

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

by

Bonsangue, Marcello M. editor.

https://doi.org/10.1007/978-3-662-44124-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

5.

Recent Trends in Philosophical Logic

by

Ciuni, Roberto. editor.

https://doi.org/10.1007/978-3-319-06080-4

Format:

Alıntı:

Mathematical Logic and Foundations.

6.

Leśniewski's Systems of Logic and Foundations of Mathematics

by

Urbaniak, Rafal. author.

https://doi.org/10.1007/978-3-319-00482-2

Format:

Alıntı:

Leśniewski's Systems of Logic and Foundations of Mathematics Urbaniak, Rafal. author.

7.

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

by

Barkatou, Moulay. editor.

https://doi.org/10.1007/978-3-642-54479-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

8.

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

by

Cai, Zhipeng. editor.

https://doi.org/10.1007/978-3-319-08783-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

9.

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume

by

Agrawal, Manindra. editor.

https://doi.org/10.1007/978-3-319-05446-9

Format:

Alıntı:

Mathematical Logic and Foundations.

10.

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

by

Friend, Michèle. author.

https://doi.org/10.1007/978-94-007-7058-4

Format:

Alıntı:

Mathematical Logic and Foundations.

11.

Scientific Objectivity and Its Contexts

by

Agazzi, Evandro. author.

https://doi.org/10.1007/978-3-319-04660-0

Format:

Alıntı:

Mathematical Logic and Foundations.

12.

Semantics of Probabilistic Processes An Operational Approach

by

Deng, Yuxin. author.

https://doi.org/10.1007/978-3-662-45198-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

13.

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

by

Diaz, Josep. editor.

https://doi.org/10.1007/978-3-662-44602-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

14.

Cardinal Invariants on Boolean Algebras Second Revised Edition

by

Monk, J. Donald. author.

https://doi.org/10.1007/978-3-0348-0730-2

Format:

Alıntı:

Mathematical Logic and Foundations.

15.

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

by

Dowek, Gilles. editor.

https://doi.org/10.1007/978-3-319-08918-8

Format:

Alıntı:

Mathematical Logic and Foundations.

16.

Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

by

Ciobanu, Gabriel. editor.

https://doi.org/10.1007/978-3-319-10882-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

17.

Set Theory With an Introduction to Real Point Sets

by

Dasgupta, Abhijit. author.

https://doi.org/10.1007/978-1-4614-8854-5

Format:

Alıntı:

Mathematical Logic and Foundations.

18.

Pell and Pell-Lucas Numbers with Applications

by

Koshy, Thomas. author.

https://doi.org/10.1007/978-1-4614-8489-9

Format:

Alıntı:

Mathematical Logic and Foundations.

19.

Mathematical Logic Foundations for Information Science

by

Li, Wei. author.

https://doi.org/10.1007/978-3-0348-0862-0

Format:

Alıntı:

Mathematical Logic and Foundations.

20.

A Cp-Theory Problem Book Special Features of Function Spaces

by

Tkachuk, Vladimir V. author.

https://doi.org/10.1007/978-3-319-04747-8

Format:

Alıntı:

Mathematical Logic and Foundations.

21.

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

by

Hirsch, Edward. editor.

https://doi.org/10.1007/978-3-319-06686-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

22.

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

by

Höfner, Peter. editor.

https://doi.org/10.1007/978-3-319-06251-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

23.

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

by

Demri, Stéphane. editor.

https://doi.org/10.1007/978-3-319-08587-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

24.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

by

Gopal, T V. editor.

https://doi.org/10.1007/978-3-319-06089-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

25.

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

by

Norman, Gethin. editor.

https://doi.org/10.1007/978-3-319-10696-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

26.

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

by

Cariani, Fabrizio. editor.

https://doi.org/10.1007/978-3-319-08615-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

27.

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

by

Jürgensen, Helmut. editor.

https://doi.org/10.1007/978-3-319-09704-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

28.

Duality Theories for Boolean Algebras with Operators

by

Givant, Steven. author.

https://doi.org/10.1007/978-3-319-06743-8

Format:

Alıntı:

Mathematical Logic and Foundations.

29.

Set Theory Exploring Independence and Truth

by

Schindler, Ralf. author.

https://doi.org/10.1007/978-3-319-06725-4

Format:

Alıntı:

Mathematical Logic and Foundations.

30.

Basic Real Analysis

by

Sohrab, Houshang H. author.

https://doi.org/10.1007/978-1-4939-1841-6

Format:

Alıntı:

Mathematical Logic and Foundations.

31.

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

by

Murawski, Roman. author.

https://doi.org/10.1007/978-3-0348-0831-6

Format:

Alıntı:

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland Murawski, Roman. author.

32.

Janus-Faced Probability

by

Rocchi, Paolo. author.

https://doi.org/10.1007/978-3-319-04861-1

Format:

Alıntı:

Mathematical Logic and Foundations.

33.

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

by

Horváth, András. editor.

https://doi.org/10.1007/978-3-319-10885-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

34.

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

by

Colinet, Margot. editor.

https://doi.org/10.1007/978-3-662-44116-9

Format:

Alıntı:

Mathematical Logic and Foundations.

35.

Kripke's Worlds An Introduction to Modal Logics via Tableaux

by

Gasquet, Olivier. author.

https://doi.org/10.1007/978-3-7643-8504-0

Format:

Alıntı:

Mathematical Logic and Foundations.

36.

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

by

Calosi, Claudio. editor.

https://doi.org/10.1007/978-3-319-05356-1

Format:

Alıntı:

Mathematical Logic and Foundations.

37.

The Life and Work of Leon Henkin Essays on His Contributions

by

Manzano, María. editor.

https://doi.org/10.1007/978-3-319-09719-0

Format:

Alıntı:

Mathematical Logic and Foundations.

38.

A Mathematical Prelude to the Philosophy of Mathematics

by

Pollard, Stephen. author.

https://doi.org/10.1007/978-3-319-05816-0

Format:

Alıntı:

Mathematical Logic and Foundations.

39.

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

by

van Breugel, Franck. editor.

https://doi.org/10.1007/978-3-319-06880-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

40.

Logica Volume 1 - Dimostrazioni e modelli al primo ordine

by

Abrusci, Vito Michele. author.

https://doi.org/10.1007/978-88-470-5538-4

Format:

Alıntı:

Mathematical Logic and Foundations.

41.

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

by

Remke, Anne. editor.

https://doi.org/10.1007/978-3-662-45489-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

42.

Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori

by

van den Dries, Lou. author.

https://doi.org/10.1007/978-3-642-54936-6

Format:

Alıntı:

Mathematical Logic and Foundations.

43.

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

by

Baldan, Paolo. editor.

https://doi.org/10.1007/978-3-662-44584-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

44.

Recent Progress in General Topology III

by

Hart, K.P. editor.

https://doi.org/10.2991/978-94-6239-024-9

Format:

Alıntı:

Mathematical Logic and Foundations.

45.

Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

by

Horská, Anna. author.

https://doi.org/10.1007/978-3-319-02171-3

Format:

Alıntı:

Mathematical Logic and Foundations.

46.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

by

Majkić, Zoran. author.

https://doi.org/10.1007/978-3-319-04156-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

47.

Alfred Tarski Early Work in Poland-Geometry and Teaching

by

McFarland, Andrew. editor.

https://doi.org/10.1007/978-1-4939-1474-6

Format:

Alıntı:

Mathematical Logic and Foundations.

48.

Advances in Natural Deduction A Celebration of Dag Prawitz's Work

by

Pereira, Luiz Carlos. editor.

https://doi.org/10.1007/978-94-007-7548-0

Format:

Alıntı:

Mathematical Logic and Foundations.

49.

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

by

Montano, Ulianov. author.

https://doi.org/10.1007/978-3-319-03452-2

Format:

Alıntı:

Mathematical Logic and Foundations.

50.

Johan van Benthem on Logic and Information Dynamics

by

Baltag, Alexandru. editor.

https://doi.org/10.1007/978-3-319-06025-5

Format:

Alıntı:

Mathematical Logic and Foundations.

51.

Axiomatic Method and Category Theory

by

Rodin, Andrei. author.

https://doi.org/10.1007/978-3-319-00404-4

Format:

Alıntı:

Mathematical Logic and Foundations.

52.

Non-commutative Multiple-Valued Logic Algebras

by

Ciungu, Lavinia Corina. author.

https://doi.org/10.1007/978-3-319-01589-7

Format:

Alıntı:

Mathematical Logic and Foundations.

53.

Constructivity and Computability in Historical and Philosophical Perspective

by

Dubucs, Jacques. editor.

https://doi.org/10.1007/978-94-017-9217-2

Format:

Alıntı:

Mathematical Logic and Foundations.

54.

David Makinson on Classical Methods for Non-Classical Problems

by

Hansson, Sven Ove. editor.

https://doi.org/10.1007/978-94-007-7759-0

Format:

Alıntı:

Mathematical Logic and Foundations.

55.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

by

Gupta, Gopal. editor.

https://doi.org/10.1007/978-3-319-14125-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

56.

Mathematics of Fuzzy Sets and Fuzzy Logic

by

Bede, Barnabas. author.

https://doi.org/10.1007/978-3-642-35221-8

Format:

Alıntı:

Mathematical Logic and Foundations.

57.

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

by

Jürgensen. editor.

https://doi.org/10.1007/978-3-642-39310-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

58.

On Fuzziness A Homage to Lotfi A. Zadeh - Volume 2

by

Seising, Rudolf. editor.

https://doi.org/10.1007/978-3-642-35644-5

Format:

Alıntı:

Mathematical Logic and Foundations.

59.

Visual Reasoning with Diagrams

by

Moktefi, Amirouche. editor.

https://doi.org/10.1007/978-3-0348-0600-8

Format:

Alıntı:

Mathematical Logic and Foundations.

60.

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

by

Zermelo, Ernst. author.

https://doi.org/10.1007/978-3-540-70856-8

Format:

Alıntı:

Mathematical Logic and Foundations.

61.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

by

Muntean, Traian. editor.

https://doi.org/10.1007/978-3-642-40663-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

62.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings

by

Du, Ding-Zhu. editor.

https://doi.org/10.1007/978-3-642-38768-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

63.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

by

Paule, Peter. editor.

https://doi.org/10.1007/978-3-319-00966-7

Format:

Alıntı:

Mathematical Logic and Foundations.

64.

Cylindric-like Algebras and Algebraic Logic

by

Andréka, Hajnal. editor.

https://doi.org/10.1007/978-3-642-35025-2

Format:

Alıntı:

Mathematical Logic and Foundations.

65.

L.E.J. Brouwer - Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

by

van Dalen, Dirk. author.

https://doi.org/10.1007/978-1-4471-4616-2

Format:

Alıntı:

Mathematical Logic and Foundations.

66.

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

by

Chan, T-H. Hubert. editor.

https://doi.org/10.1007/978-3-642-38236-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

67.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

by

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-642-40537-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

68.

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

by

Geldsetzer, Lutz. author.

https://doi.org/10.1007/978-94-007-5301-3

Format:

Alıntı:

Mathematical Logic and Foundations.

69.

A Logical Introduction to Proof

by

Cunningham, Daniel W. author.

https://doi.org/10.1007/978-1-4614-3631-7

Format:

Alıntı:

Mathematical Logic and Foundations.

70.

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

by

O'Regan, Gerard. author.

https://doi.org/10.1007/978-1-4471-4534-9

Format:

Alıntı:

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

71.

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

by

Davis, Martin. editor.

https://doi.org/10.1007/978-1-4471-4282-9

Format:

Alıntı:

Mathematical Logic and Foundations.

72.

Belief Revision in Non-Classical Logics

by

Ribeiro, Márcio Moretto. author.

https://doi.org/10.1007/978-1-4471-4186-0

Format:

Alıntı:

Mathematical Logic and Foundations.

73.

The Mathematics of Paul Erdős II

by

Graham, Ronald L. editor.

https://doi.org/10.1007/978-1-4614-7254-4

Format:

Alıntı:

Mathematical Logic and Foundations.

74.

Towards a General Theory of Classifications

by

Parrochia, Daniel. author.

https://doi.org/10.1007/978-3-0348-0609-1

Format:

Alıntı:

Mathematical Logic and Foundations.

75.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

by

Hardin, Christopher S. author.

https://doi.org/10.1007/978-3-319-01333-6

Format:

Alıntı:

Mathematical Logic and Foundations.

76.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

by

Pudlák, Pavel. author.

https://doi.org/10.1007/978-3-319-00119-7

Format:

Alıntı:

Mathematical Logic and Foundations.

77.

An Invitation to Abstract Mathematics

by

Bajnok, Béla. author.

https://doi.org/10.1007/978-1-4614-6636-9

Format:

Alıntı:

Mathematical Logic and Foundations.

78.

Modelling Computing Systems Mathematics for Computer Science

by

Moller, Faron. author.

https://doi.org/10.1007/978-1-84800-322-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

79.

The Argument of Mathematics

by

Aberdein, Andrew. editor.

https://doi.org/10.1007/978-94-007-6534-4

Format:

Alıntı:

Mathematical Logic and Foundations.

80.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

by

Grossi, Davide. editor.

https://doi.org/10.1007/978-3-642-40948-6

Format:

Alıntı:

Mathematical Logic and Foundations.

81.

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings

by

Lodaya, Kamal. editor.

https://doi.org/10.1007/978-3-642-36039-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

82.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

by

Cabalar, Pedro. editor.

https://doi.org/10.1007/978-3-642-40564-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

83.

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

by

Martí-Oliet, Narciso. editor.

https://doi.org/10.1007/978-3-642-37635-1

Format:

Alıntı:

Mathematical Logic and Foundations.

84.

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

by

Gonthier, Georges. editor.

https://doi.org/10.1007/978-3-319-03545-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

85.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

by

Colom, Jose-Manuel. editor.

https://doi.org/10.1007/978-3-642-38697-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

86.

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

by

Joshi, Kaustubh. editor.

https://doi.org/10.1007/978-3-642-40196-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

87.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

by

Bonacina, Maria Paola. editor.

https://doi.org/10.1007/978-3-642-36675-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

88.

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

by

Schulte, Christian. editor.

https://doi.org/10.1007/978-3-642-40627-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

89.

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings

by

Bulatov, Andrei A. editor.

https://doi.org/10.1007/978-3-642-38536-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

90.

CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

by

D'Argenio, Pedro R. editor.

https://doi.org/10.1007/978-3-642-40184-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

91.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

by

Artemov, Sergei. editor.

https://doi.org/10.1007/978-3-642-35722-0

Format:

Alıntı:

Mathematical Logic and Foundations.

92.

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

by

Hasegawa, Masahito. editor.

https://doi.org/10.1007/978-3-642-38946-7

Format:

Alıntı:

Mathematical Logic and Foundations.

93.

The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

by

Bonizzoni, Paola. editor.

https://doi.org/10.1007/978-3-642-39053-1

Format:

Alıntı:

Mathematical Logic and Foundations.

94.

The Real Numbers An Introduction to Set Theory and Analysis

by

Stillwell, John. author.

https://doi.org/10.1007/978-3-319-01577-4

Format:

Alıntı:

Mathematical Logic and Foundations.

95.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

by

Albert, Elvira. editor.

https://doi.org/10.1007/978-3-642-38197-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

96.

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

by

Jarvisalo, Matti. editor.

https://doi.org/10.1007/978-3-642-39071-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

97.

Stochastic Calculus with Infinitesimals

by

Herzberg, Frederik S. author.

https://doi.org/10.1007/978-3-642-33149-7

Format:

Alıntı:

Mathematical Logic and Foundations.

98.

A Course on Mathematical Logic

by

Srivastava, Shashi Mohan. author.

https://doi.org/10.1007/978-1-4614-5746-6

Format:

Alıntı:

Mathematical Logic and Foundations.

99.

Reactive Kripke Semantics

by

Gabbay, Dov M. author.

https://doi.org/10.1007/978-3-642-41389-6

Format:

Alıntı:

Mathematical Logic and Foundations.

100.

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

by

Hinkis, Arie. author.

https://doi.org/10.1007/978-3-0348-0224-6

Format:

Alıntı:

Mathematical Logic and Foundations.

101.

Logic and Structure

by

van Dalen, Dirk. author.

https://doi.org/10.1007/978-1-4471-4558-5

Format:

Alıntı:

Mathematical Logic and Foundations.

102.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

by

Tapp, Christian. author.

https://doi.org/10.1007/978-3-642-29654-3

Format:

Alıntı:

Mathematical Logic and Foundations.

103.

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

by

Braberman, Víctor. editor.

https://doi.org/10.1007/978-3-642-40229-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

104.

Die Gödel'schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

by

Hoffmann, Dirk W. author.

https://doi.org/10.1007/978-3-8274-3000-7

Format:

Alıntı:

Mathematical Logic and Foundations.

105.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

by

Hoffmann, Dirk W. author.

https://doi.org/10.1007/978-3-642-34720-7

Format:

Alıntı:

Mathematical Logic and Foundations.

106.

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

by

Zeidler, Eberhard. editor.

https://doi.org/10.1007/978-3-658-00297-8

Format:

Alıntı:

Mathematical Logic and Foundations.

107.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

by

Ewald, William. editor.

https://doi.org/10.1007/978-3-540-69444-1

Format:

Alıntı:

Mathematical Logic and Foundations.

108.

Mathematical Olympiad Treasures

by

Andreescu, Titu. author.

https://doi.org/10.1007/978-0-8176-8253-8

Format:

Alıntı:

Mathematical Logic and Foundations.

109.

Excursions in the History of Mathematics

by

Kleiner, Israel. author.

https://doi.org/10.1007/978-0-8176-8268-2

Format:

Alıntı:

Mathematical Logic and Foundations.

110.

A Beginner's Guide to Discrete Mathematics

by

Wallis, W.D. author.

https://doi.org/10.1007/978-0-8176-8286-6

Format:

Alıntı:

Mathematical Logic and Foundations.

111.

The Mathematical Experience, Study Edition

by

Davis, Philip. author.

https://doi.org/10.1007/978-0-8176-8295-8

Format:

Alıntı:

Mathematical Logic and Foundations.

112.

A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences

by

Wallis, W.D. author.

https://doi.org/10.1007/978-0-8176-8319-1

Format:

Alıntı:

Mathematical Logic and Foundations.

113.

Logic, Language, Information, and Computation

by

Ong, Luke. editor.

https://doi.org/10.1007/978-3-642-32621-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

114.

Mathematical Logic for Computer Science

by

Ben-Ari, Mordechai. author.

https://doi.org/10.1007/978-1-4471-4129-7

Format:

Alıntı:

Mathematical Logic and Foundations.

115.

The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

by

Bodlaender, Hans L. editor. (orcid)0000-0002-9297-3330

https://doi.org/10.1007/978-3-642-30891-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

116.

Logic: a Brief Course

by

Mundici, Daniele. author.

https://doi.org/10.1007/978-88-470-2361-1

Format:

Alıntı:

Mathematical Logic and Foundations.

117.

Sparsity Graphs, Structures, and Algorithms

by

Nešetřil, Jaroslav. author.

https://doi.org/10.1007/978-3-642-27875-4

Format:

Alıntı:

Mathematical Logic and Foundations.

118.

Around and Beyond the Square of Opposition

by

Béziau, Jean-Yves. editor.

https://doi.org/10.1007/978-3-0348-0379-3

Format:

Alıntı:

Mathematical Logic and Foundations.

119.

Theory and Applications of Satisfiability Testing -- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

by

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

https://doi.org/10.1007/978-3-642-31612-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

120.

Computer Science -- Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings

by

Hirsch, Edward. editor.

https://doi.org/10.1007/978-3-642-30642-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

121.

Teoria algebrica dei meccanismi automatici Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959

by

Righi, R. editor.

https://doi.org/10.1007/978-3-642-10932-4

Format:

Alıntı:

Mathematical Logic and Foundations.

122.

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

by

Miller, Chris. editor.

https://doi.org/10.1007/978-1-4614-4042-0

Format:

Alıntı:

Mathematical Logic and Foundations.

123.

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

by

Dybjer, P. editor.

https://doi.org/10.1007/978-94-007-4435-6

Format:

Alıntı:

Mathematical Logic and Foundations.

124.

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

by

Vidal, Germán. editor.

https://doi.org/10.1007/978-3-642-32211-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

125.

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings

by

Jeuring, Johan. editor.

https://doi.org/10.1007/978-3-642-31374-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

126.

Combinatorial Set Theory With a Gentle Introduction to Forcing

by

Halbeisen, Lorenz J. author.

https://doi.org/10.1007/978-1-4471-2173-2

Format:

Alıntı:

Mathematical Logic and Foundations.

127.

Foundations of Algebraic Specification and Formal Software Development

by

Sannella, Donald. author.

https://doi.org/10.1007/978-3-642-17336-3

Format:

Alıntı:

Mathematical Logic and Foundations.

128.

Introduction to Mathematical Structures and Proofs

by

Gerstein, Larry J. author.

https://doi.org/10.1007/978-1-4614-4265-3

Format:

Alıntı:

Mathematical Logic and Foundations.

129.

Mathematics of Discrete Structures for Computer Science

by

Pace, Gordon J. author.

https://doi.org/10.1007/978-3-642-29840-0

Format:

Alıntı:

Mathematical Logic and Foundations.

130.

Non solo calcoli Domande e risposte sui perché della matematica

by

Villani, Vinicio. author.

https://doi.org/10.1007/978-88-470-2610-0

Format:

Alıntı:

Mathematical Logic and Foundations.

131.

Principles and Practice of Constraint Programming - CP 2012 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings

by

Milano, Michela. editor.

https://doi.org/10.1007/978-3-642-33558-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

132.

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

by

Kahl, Wolfram. editor.

https://doi.org/10.1007/978-3-642-33314-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

133.

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

by

Dinneen, Michael J. editor.

https://doi.org/10.1007/978-3-642-27654-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

134.

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

by

Derrick, John. editor.

https://doi.org/10.1007/978-3-642-30885-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

135.

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

by

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

https://doi.org/10.1007/978-3-642-31113-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

136.

Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

by

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

https://doi.org/10.1007/978-3-642-34176-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

137.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

by

Agrawal, Manindra. editor.

https://doi.org/10.1007/978-3-642-29952-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

138.

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

by

Haddad, Serge. editor.

https://doi.org/10.1007/978-3-642-31131-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

139.

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

by

Phan, Cong-Vinh. editor.

https://doi.org/10.1007/978-3-642-28525-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

140.

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

by

Mossakowski, Till. editor.

https://doi.org/10.1007/978-3-642-28412-0

Format:

Alıntı:

Mathematical Logic and Foundations.

141.

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

by

Hawblitzel, Chris. editor.

https://doi.org/10.1007/978-3-642-35308-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

142.

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

by

Pattinson, Dirk. editor. (orcid)0000-0002-5832-6666

https://doi.org/10.1007/978-3-642-32784-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

143.

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers

by

Horimoto, Katsuhisa. editor.

https://doi.org/10.1007/978-3-642-28067-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

144.

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings

by

Lukasiewicz, Thomas. editor.

https://doi.org/10.1007/978-3-642-28472-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

145.

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

by

Bezhanishvili, Nick. editor.

https://doi.org/10.1007/978-3-642-31485-8

Format:

Alıntı:

Mathematical Logic and Foundations.

146.

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

by

Cooper, Barry S. editor.

https://doi.org/10.1007/978-3-642-30870-3

Format:

Alıntı:

Mathematical Logic and Foundations.

147.

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

by

Gramlich, Bernhard. editor.

https://doi.org/10.1007/978-3-642-31365-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

148.

Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

by

Ehrig, Hartmut. editor.

https://doi.org/10.1007/978-3-642-33654-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

149.

On Intuitionistic Fuzzy Sets Theory

by

Atanassov, Krassimir T. author.

https://doi.org/10.1007/978-3-642-29127-2

Format:

Alıntı:

Mathematical Logic and Foundations.

150.

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

by

Kotásek, Zdeněk. editor.

https://doi.org/10.1007/978-3-642-25929-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

151.

The Complexity of Valued Constraint Satisfaction Problems

by

Živný, Stanislav. author.

https://doi.org/10.1007/978-3-642-33974-5

Format:

Alıntı:

Mathematical Logic and Foundations.

152.

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

by

Agotnes, Thomas. editor.

https://doi.org/10.1007/978-3-642-31570-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

153.

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings

by

Yen, Hsu-Chun. editor.

https://doi.org/10.1007/978-3-642-31653-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

154.

Truth and Falsehood An Inquiry into Generalized Logical Values

by

Shramko, Yaroslav. author.

https://doi.org/10.1007/978-94-007-0907-2

Format:

Alıntı:

Mathematical Logic and Foundations.

155.

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

by

Soifer, Alexander. author.

https://doi.org/10.1007/978-0-387-75472-7

Format:

Alıntı:

Mathematical Logic and Foundations.

156.

Quaternions for Computer Graphics

by

Vince, John. author.

https://doi.org/10.1007/978-0-85729-760-0

Format:

Alıntı:

Mathematical Logic and Foundations.

157.

Rigorous Software Development An Introduction to Program Verification

by

Almeida, José Bacelar. author.

https://doi.org/10.1007/978-0-85729-018-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

158.

The Selected Correspondence of L.E.J. Brouwer

by

von Dalen, Dirk. author.

https://doi.org/10.1007/978-0-85729-537-8

Format:

Alıntı:

Mathematical Logic and Foundations.

159.

Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

by

Casari, E. editor.

https://doi.org/10.1007/978-3-642-11080-1

Format:

Alıntı:

Mathematical Logic and Foundations.

160.

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

by

Beklemishev, Lev D. editor.

https://doi.org/10.1007/978-3-642-20920-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

161.

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

by

Owe, Olaf. editor.

https://doi.org/10.1007/978-3-642-22953-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

162.

Un mondo di idee La matematica ovunque

by

Lucchetti, Roberto. editor.

https://doi.org/10.1007/978-88-470-1744-3

Format:

Alıntı:

Mathematical Logic and Foundations.

163.

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

by

Kuich, Werner. editor.

https://doi.org/10.1007/978-3-642-24897-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

164.

Computer Science - Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

by

Kulikov, Alexander. editor. (orcid)0000-0002-5656-0336

https://doi.org/10.1007/978-3-642-20712-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

165.

Hyperfinite Dirichlet Forms and Stochastic Processes

by

Albeverio, Sergio. author.

https://doi.org/10.1007/978-3-642-19659-1

Format:

Alıntı:

Mathematical Logic and Foundations.

166.

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

by

Marino, Julio. editor.

https://doi.org/10.1007/978-3-642-20775-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

167.

Proofs and Fundamentals A First Course in Abstract Mathematics

by

Bloch, Ethan D. author.

https://doi.org/10.1007/978-1-4419-7127-2

Format:

Alıntı:

Mathematical Logic and Foundations.

168.

Reading, Writing, and Proving A Closer Look at Mathematics

by

Daepp, Ulrich. author.

https://doi.org/10.1007/978-1-4419-9479-0

Format:

Alıntı:

Mathematical Logic and Foundations.

169.

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: From Vague to Crisp

by

Perlovsky, Leonid. author.

https://doi.org/10.1007/978-3-642-22830-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

170.

Methods of Cut-Elimination

by

Baaz, Matthias. author.

https://doi.org/10.1007/978-94-007-0320-9

Format:

Alıntı:

Mathematical Logic and Foundations.

171.

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

by

DeVidi, David. editor.

https://doi.org/10.1007/978-94-007-0214-1

Format:

Alıntı:

Mathematical Logic and Foundations.

172.

Treatise on Intuitionistic Type Theory

by

Granström, Johan Georg. author.

https://doi.org/10.1007/978-94-007-1736-7

Format:

Alıntı:

Mathematical Logic and Foundations.

173.

Conditionals and Modularity in General Logics

by

Gabbay, Dov M. author.

https://doi.org/10.1007/978-3-642-19068-1

Format:

Alıntı:

Mathematical Logic and Foundations.

174.

Strict Finitism and the Logic of Mathematical Applications

by

Ye, Feng. author.

https://doi.org/10.1007/978-94-007-1347-5

Format:

Alıntı:

Mathematical Logic and Foundations.

175.

Advanced Łukasiewicz calculus and MV-algebras

by

Mundici, D. author.

https://doi.org/10.1007/978-94-007-0840-2

Format:

Alıntı:

Mathematical Logic and Foundations.

176.

Model Theory and Applications Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975

by

Mangani, P. editor.

https://doi.org/10.1007/978-3-642-11121-1

Format:

Alıntı:

Mathematical Logic and Foundations.

177.

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings

by

Murlak, Filip. editor.

https://doi.org/10.1007/978-3-642-22993-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

178.

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

by

Sturm, Thomas. editor.

https://doi.org/10.1007/978-3-642-21046-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

179.

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers

by

Bouchou-Markhoff, Béatrice. editor.

https://doi.org/10.1007/978-3-642-22256-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

180.

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

by

Blackburn, Patrick. editor.

https://doi.org/10.1007/978-3-642-21350-2

Format:

Alıntı:

Mathematical Logic and Foundations.

181.

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

by

Kaiser, Lukasz. author.

https://doi.org/10.1007/978-3-642-22807-0

Format:

Alıntı:

Mathematical Logic and Foundations.

182.

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

by

Ong, Luke. editor.

https://doi.org/10.1007/978-3-642-21691-6

Format:

Alıntı:

Mathematical Logic and Foundations.

183.

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

by

de Swart, Harrie. editor.

https://doi.org/10.1007/978-3-642-21070-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

184.

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

by

Jouannaud, Jean-Pierre. editor.

https://doi.org/10.1007/978-3-642-25379-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

185.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings

by

Kanazawa, Makoto. editor.

https://doi.org/10.1007/978-3-642-23211-4

Format:

Alıntı:

Mathematical Logic and Foundations.

186.

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings

by

Delgrande, James. editor.

https://doi.org/10.1007/978-3-642-20895-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

187.

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

by

Winkler, Franz. editor.

https://doi.org/10.1007/978-3-642-21493-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

188.

Implementation and Application of Automata 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers

by

Domaratzki, Michael. editor.

https://doi.org/10.1007/978-3-642-18098-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

189.

Logic and Its Applications Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings

by

Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923

https://doi.org/10.1007/978-3-642-18026-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

190.

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

by

Larrosa, Javier. editor.

https://doi.org/10.1007/978-3-642-19486-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

191.

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

by

van Ditmarsch, Hans. editor.

https://doi.org/10.1007/978-3-642-24130-7

Format:

Alıntı:

Mathematical Logic and Foundations.

192.

Logica: Metodo Breve

by

Mundici, Daniele. author.

https://doi.org/10.1007/978-88-470-1884-6

Format:

Alıntı:

Mathematical Logic and Foundations.

193.

Development in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

by

Mauri, Giancarlo. editor.

https://doi.org/10.1007/978-3-642-22321-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

194.

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings

by

Kuchen, Herbert. editor.

https://doi.org/10.1007/978-3-642-22531-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

195.

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

by

Löwe, Benedikt. editor.

https://doi.org/10.1007/978-3-642-21875-0

Format:

Alıntı:

Mathematical Logic and Foundations.

196.

Hybrid Logic and its Proof-Theory

by

Braüner, Torben. author.

https://doi.org/10.1007/978-94-007-0002-4

Format:

Alıntı:

Mathematical Logic and Foundations.

197.

Recursion Theory and Computational Complexity Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979

by

Lolli, G. editor.

https://doi.org/10.1007/978-3-642-11072-6

Format:

Alıntı:

Mathematical Logic and Foundations.

198.

From Objects to Diagrams for Ranges of Functors

by

Gillibert, Pierre. author.

https://doi.org/10.1007/978-3-642-21774-6

Format:

Alıntı:

Mathematical Logic and Foundations.

199.

Dual Tableaux: Foundations, Methodology, Case Studies

by

Orlowska, Ewa. author.

https://doi.org/10.1007/978-94-007-0005-5

Format:

Alıntı:

Mathematical Logic and Foundations.

200.

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings

by

Ogihara, Mitsunori. editor.

https://doi.org/10.1007/978-3-642-20877-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

201.

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

by

Stankovic, Radomir S. author.

https://doi.org/10.1007/978-3-642-11682-7

Format:

Alıntı:

Mathematical Logic and Foundations.

202.

Proof, Computation and Agency Logic at the Crossroads

by

van Benthem, Johan. editor.

https://doi.org/10.1007/978-94-007-0080-2

Format:

Alıntı:

Mathematical Logic and Foundations.

203.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

by

BARTOCCI, CLAUDIO. editor.

https://doi.org/10.1007/978-3-642-13606-1

Format:

Alıntı:

Mathematical Logic and Foundations.

204.

Foundational Theories of Classical and Constructive Mathematics

by

Sommaruga, Giovanni. editor.

https://doi.org/10.1007/978-94-007-0431-2

Format:

Alıntı:

Mathematical Logic and Foundations.

205.

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008

by

Skof, Fulvia. editor.

https://doi.org/10.1007/978-88-470-1836-5

Format:

Alıntı:

Mathematical Logic and Foundations.

206.

Games, Norms and Reasons Logic at the Crossroads

by

van Benthem, Johan. editor.

https://doi.org/10.1007/978-94-007-0714-6

Format:

Alıntı:

Mathematical Logic and Foundations.

207.

Apartness and Uniformity A Constructive Development

by

Bridges, Douglas S. author.

https://doi.org/10.1007/978-3-642-22415-7

Format:

Alıntı:

Mathematical Logic and Foundations.

208.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

by

Hoffmann, Dirk W. author.

https://doi.org/10.1007/978-3-8274-2560-7

Format:

Alıntı:

Mathematical Logic and Foundations.

209.

Philosophy of Statistics.

by

Prasanta S. Bandyopadhyay.

ScienceDirect http://www.sciencedirect.com/science/book/9780444518620

Format:

Alıntı:

MATHEMATICS -- Probability & Statistics -- General.

210.

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

by

Corradini, Andrea. editor.

https://doi.org/10.1007/978-3-642-22944-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

211.

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

by

Décaillot, Anne-Marie. author.

https://doi.org/10.1007/978-3-642-14869-9

Format:

Alıntı:

Mathematical Logic and Foundations.

212.

Handbook of Set Theory

by

Foreman, Matthew. editor.

https://doi.org/10.1007/978-1-4020-5764-9

Format:

Alıntı:

Mathematical Logic and Foundations.

213.

Cognitive Reasoning A Formal Approach

by

Anshakov, Oleg M. author.

https://doi.org/10.1007/978-3-540-68875-4

Format:

Alıntı:

Mathematical Logic and Foundations.

214.

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings

by

Ablaev, Farid M. editor.

https://doi.org/10.1007/978-3-642-13182-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

215.

Mathematical Logic Foundations for Information Science

by

Li, Wei. author.

https://doi.org/10.1007/978-3-7643-9977-1

Format:

Alıntı:

Mathematical Logic and Foundations.

216.

Game of Life Cellular Automata

by

Adamatzky, Andrew. editor.

https://doi.org/10.1007/978-1-84996-217-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

217.

A Concise Introduction to Mathematical Logic

by

Rautenberg, Wolfgang. author.

https://doi.org/10.1007/978-1-4419-1221-3

Format:

Alıntı:

Mathematical Logic and Foundations.

218.

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

by

Chudnovsky, David. editor.

https://doi.org/10.1007/978-0-387-68361-4

Format:

Alıntı:

Mathematical Logic and Foundations.

219.

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia

by

Zermelo, Ernst. author.

https://doi.org/10.1007/978-3-540-79384-7

Format:

Alıntı:

Mathematical Logic and Foundations.

220.

The Art of Proof Basic Training for Deeper Mathematics

by

Beck, Matthias. author.

https://doi.org/10.1007/978-1-4419-7023-7

Format:

Alıntı:

Mathematical Logic and Foundations.

221.

Banach Spaces and Descriptive Set Theory: Selected Topics

by

Dodos, Pandelis. author.

https://doi.org/10.1007/978-3-642-12153-1

Format:

Alıntı:

Mathematical Logic and Foundations.

222.

The Pillars of Computation Theory State, Encoding, Nondeterminism

by

Rosenberg, Arnold L. author.

https://doi.org/10.1007/978-0-387-09639-1

Format:

Alıntı:

Mathematical Logic and Foundations.

223.

The P=NP Question and Gödel's Lost Letter

by

Lipton, Richard J. author.

https://doi.org/10.1007/978-1-4419-7155-5

Format:

Alıntı:

Mathematical Logic and Foundations.

224.

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

by

Dovier, Agostino. editor.

https://doi.org/10.1007/978-3-642-14309-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

225.

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

by

Triantaphyllou, Evangelos. author.

https://doi.org/10.1007/978-1-4419-1630-3

Format:

Alıntı:

Mathematical Logic and Foundations.

226.

A Course in Mathematical Logic for Mathematicians

by

Manin, Yu. I. author.

https://doi.org/10.1007/978-1-4419-0615-1

Format:

Alıntı:

Mathematical Logic and Foundations.

227.

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

by

Bolduc, Claude. editor.

https://doi.org/10.1007/978-3-642-13321-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

228.

Logical Tools for Handling Change in Agent-Based Systems

by

Gabbay, Dov M. author.

https://doi.org/10.1007/978-3-642-04407-6

Format:

Alıntı:

Mathematical Logic and Foundations.

229.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

by

Platzer, André. author. (orcid)0000-0001-7238-5710

https://doi.org/10.1007/978-3-642-14509-4

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

230.

Logic and Philosophy of Mathematics in the Early Husserl

by

Centrone, Stefania. author.

https://doi.org/10.1007/978-90-481-3246-1

Format:

Alıntı:

Mathematical Logic and Foundations.

231.

Frontiers in Algorithms 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings

by

Lee, D.T. editor.

https://doi.org/10.1007/978-3-642-14553-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

232.

Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

by

Bonanno, Giacomo. editor.

https://doi.org/10.1007/978-3-642-15164-4

Format:

Alıntı:

Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference

233.

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

by

Ehrig, Hartmut. editor.

https://doi.org/10.1007/978-3-642-15928-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

234.

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

by

Link, Sebastian. editor.

https://doi.org/10.1007/978-3-642-11829-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

235.

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

by

Strichman, Ofer. editor.

https://doi.org/10.1007/978-3-642-14186-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

236.

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings

by

Janhunen, Tomi. editor.

https://doi.org/10.1007/978-3-642-15675-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

237.

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

by

Frappier, Marc. editor.

https://doi.org/10.1007/978-3-642-11811-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

238.

Natural Deduction, Hybrid Systems and Modal Logics

by

Indrzejczak, Andrzej. author.

https://doi.org/10.1007/978-90-481-8785-0

Format:

Alıntı:

Mathematical Logic and Foundations.

239.

Cellular Automata and Groups

by

Ceccherini-Silberstein, Tullio. author.

https://doi.org/10.1007/978-3-642-14034-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

240.

Proofs from THE BOOK

by

Aigner, Martin. author.

https://doi.org/10.1007/978-3-642-00856-6

Format:

Alıntı:

Mathematical Logic and Foundations.

241.

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

by

Kratochvil, Jan. editor.

https://doi.org/10.1007/978-3-642-13562-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

242.

Essays on the Foundations of Mathematics by Moritz Pasch

by

Pollard, Stephen. editor.

https://doi.org/10.1007/978-90-481-9416-2

Format:

Alıntı:

Essays on the Foundations of Mathematics by Moritz Pasch Pollard, Stephen. editor.

243.

Das BUCH der Beweise

by

Aigner, Martin. author.

https://doi.org/10.1007/978-3-642-02259-3

Format:

Alıntı:

Mathematical Logic and Foundations.

244.

Mathematische Logik

by

Ziegler, Martin. author.

https://doi.org/10.1007/978-3-0346-0652-3

Format:

Alıntı:

Mathematical Logic and Foundations.

245.

Glück, Logik und Bluff Mathematik im Spiel - Methoden, Ergebnisse und Grenzen

by

Bewersdorff, Jörg. author.

https://doi.org/10.1007/978-3-8348-9696-4

Format:

Alıntı:

Mathematical Logic and Foundations.

246.

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

by

Soifer, Alexander. author.

https://doi.org/10.1007/978-0-387-74642-5

Format:

Alıntı:

Mathematical Logic and Foundations.

247.

A Missing Link in Cybernetics Logic and Continuity

by

Andrew, Alex M. author.

https://doi.org/10.1007/978-0-387-75164-1

Format:

Alıntı:

Mathematical Logic and Foundations.

248.

Generalized Measure Theory

by

Wang, Zhenyuan. author.

https://doi.org/10.1007/978-0-387-76852-6

Format:

Alıntı:

Mathematical Logic and Foundations.

249.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

by

Solojentsev, Evgueni D. author.

https://doi.org/10.1007/978-0-387-77946-1

Format:

Alıntı:

Mathematical Logic and Foundations.

250.

Logicism, Intuitionism, and Formalism What Has Become of Them?

by

Lindström, Sten. editor.

https://doi.org/10.1007/978-1-4020-8926-8

Format:

Alıntı:

Mathematical Logic and Foundations.

251.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

by

Makinson, David. editor.

https://doi.org/10.1007/978-1-4020-9084-4

Format:

Alıntı:

Mathematical Logic and Foundations.

252.

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

by

Marquis, Jean-Pierre. author.

https://doi.org/10.1007/978-1-4020-9384-5

Format:

Alıntı:

Mathematical Logic and Foundations.

253.

Logic Functions and Equations Examples and Exercises

by

Steinbach, Bernd. author.

https://doi.org/10.1007/978-1-4020-9595-5

Format:

Alıntı:

Logic Functions and Equations Examples and Exercises / Steinbach, Bernd. author.

254.

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

by

Berghammer, Rudolf. editor.

https://doi.org/10.1007/978-3-642-04639-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

255.

Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior

by

Dompere, Kofi Kissi. author.

https://doi.org/10.1007/978-3-540-88087-5

Format:

Alıntı:

Mathematical Logic and Foundations.

256.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

by

Sossai, Claudio. editor.

https://doi.org/10.1007/978-3-642-02906-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

257.

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

by

Ferré, Sébastien. editor.

https://doi.org/10.1007/978-3-642-01815-2

Format:

Alıntı:

Mathematical Logic and Foundations.

258.

Reachability Problems Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

by

Bournez, Olivier. editor.

https://doi.org/10.1007/978-3-642-04420-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

259.

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

by

Dediu, Adrian Horia. editor.

https://doi.org/10.1007/978-3-642-00982-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

260.

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

by

Hill, Patricia M. editor.

https://doi.org/10.1007/978-3-642-02846-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

261.

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

by

Ouaknine, Joel. editor.

https://doi.org/10.1007/978-3-642-04368-0

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

262.

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings

by

Narukawa, Yasuo. editor.

https://doi.org/10.1007/978-3-642-04820-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

263.

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

by

Tessaris, Sergio. editor.

https://doi.org/10.1007/978-3-642-03754-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

264.

Handbook on Ontologies

by

Staab, Steffen. editor. (orcid)0000-0002-0780-4154

https://doi.org/10.1007/978-3-540-92673-3

Format:

Alıntı:

Mathematical Logic and Foundations.

265.

Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes

by

Dompere, Kofi Kissi. author.

https://doi.org/10.1007/978-3-540-88085-1

Format:

Alıntı:

Mathematical and Computational Engineering Applications.

266.

Introduction to Boolean Algebras

by

Givant, Steven. author.

https://doi.org/10.1007/978-0-387-68436-9

Format:

Alıntı:

Mathematical Logic and Foundations.

267.

Logic and Integer Programming

by

Williams, H. Paul. author.

https://doi.org/10.1007/978-0-387-92280-5

Format:

Alıntı:

Mathematical Logic and Foundations.

268.

Mathematical Olympiad Challenges

by

Andreescu, Titu. author.

https://doi.org/10.1007/978-0-8176-4611-0

Format:

Alıntı:

Mathematical Logic and Foundations.

269.

Proof Theory for Fuzzy Logics

by

Metcalfe, George. author.

https://doi.org/10.1007/978-1-4020-9409-5

Format:

Alıntı:

Mathematical Logic and Foundations.

270.

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

by

Corradini, Andrea. editor.

https://doi.org/10.1007/978-3-642-03429-9

Format:

Alıntı:

Mathematical Logic and Foundations.

271.

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

by

Kurz, Alexander. editor.

https://doi.org/10.1007/978-3-642-03741-2

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

272.

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

by

Grädel, Erich. editor.

https://doi.org/10.1007/978-3-642-04027-6

Format:

Alıntı:

Mathematical Logic and Foundations.

273.

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

by

Kullmann, Oliver. editor.

https://doi.org/10.1007/978-3-642-02777-2

Format:

Alıntı:

Mathematical Logic and Foundations.

274.

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings

by

Královic, Rastislav. editor.

https://doi.org/10.1007/978-3-642-03816-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

275.

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

by

Curien, Pierre-Louis. editor.

https://doi.org/10.1007/978-3-642-02273-9

Format:

Alıntı:

Mathematical Logic and Foundations.

276.

Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009

by

Bozapalidis, Symeon. editor.

https://doi.org/10.1007/978-3-642-03564-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

277.

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

by

Gent, Ian P. editor.

https://doi.org/10.1007/978-3-642-04244-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

278.

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

by

Bravetti, Mario. editor.

https://doi.org/10.1007/978-3-642-04081-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

279.

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings

by

Franceschinis, Giuliana. editor.

https://doi.org/10.1007/978-3-642-02424-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

280.

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

by

Grumberg, Orna. editor.

https://doi.org/10.1007/978-3-642-01748-3

Format:

Alıntı:

Mathematical Logic and Foundations.

281.

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

by

Treinen, Ralf. editor.

https://doi.org/10.1007/978-3-642-02348-4

Format:

Alıntı:

Mathematical Logic and Foundations.

282.

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

by

Artemov, Sergei. editor.

https://doi.org/10.1007/978-3-540-92687-0

Format:

Alıntı:

Mathematical Logic and Foundations.

283.

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

by

Berardi, Stefano. editor.

https://doi.org/10.1007/978-3-642-02444-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

284.

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

by

He, Xiangdong. editor.

https://doi.org/10.1007/978-3-642-04893-7

Format:

Alıntı:

Mathematical Logic and Foundations.

285.

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings

by

Frid, Anna. editor.

https://doi.org/10.1007/978-3-642-03351-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

286.

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

by

Erdem, Esra. editor.

https://doi.org/10.1007/978-3-642-04238-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

287.

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

by

Chen, Jianer. editor.

https://doi.org/10.1007/978-3-642-02017-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

288.

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

by

Fisher, Michael. editor.

https://doi.org/10.1007/978-3-642-02734-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

289.

Transactions on Petri Nets and Other Models of Concurrency III

by

SpringerLink (Online service)

https://doi.org/10.1007/978-3-642-04856-2

Format:

Alıntı:

Mathematical Logic and Foundations.

290.

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

by

Berghofer, Stefan. editor.

https://doi.org/10.1007/978-3-642-03359-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

291.

Recasting Reality Wolfgang Pauli's Philosophical Ideas and Contemporary Science

by

Atmanspacher, Harald. editor.

https://doi.org/10.1007/978-3-540-85198-1

Format:

Alıntı:

Mathematical Logic and Foundations.

292.

Handbook of Weighted Automata

by

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

https://doi.org/10.1007/978-3-642-01492-5

Format:

Alıntı:

Mathematical Logic and Foundations.

293.

Proof Theory The First Step into Impredicativity

by

Pohlers, Wolfram. author.

https://doi.org/10.1007/978-3-540-69319-2

Format:

Alıntı:

Mathematical Logic and Foundations.

294.

Logische Grundlagen der Mathematik

by

Schindler, Ralf. author.

https://doi.org/10.1007/978-3-540-95932-8

Format:

Alıntı:

Mathematical Logic and Foundations.

295.

"Das ist o. B. d. A. trivial!" Tipps und Tricks zur Formulierung mathematischer Gedanken

by

Beutelspacher, Albrecht. author.

https://doi.org/10.1007/978-3-8348-9599-8

Format:

Alıntı:

Mathematical Logic and Foundations.

296.

New Computational Paradigms Changing Conceptions of What is Computable

by

Cooper, S.B. editor.

https://doi.org/10.1007/978-0-387-68546-5

Format:

Alıntı:

Mathematical Logic and Foundations.

297.

A Course on Mathematical Logic

by

Srivastava, Shashi Mohan. author.

https://doi.org/10.1007/978-0-387-76277-7

Format:

Alıntı:

Mathematical Logic and Foundations.

298.

Programming Languages An Active Learning Approach

by

Lee, Kent D. author.

https://doi.org/10.1007/978-0-387-79421-1

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

299.

Combinatorics and Graph Theory

by

Harris, John. author.

https://doi.org/10.1007/978-0-387-79711-3

Format:

Alıntı:

Mathematical Logic and Foundations.

300.

Logic for Computer Scientists

by

Schöning, Uwe. author.

https://doi.org/10.1007/978-0-8176-4763-6

Format:

Alıntı:

Mathematical Logic and Foundations.

	{displayName}	{count}
{error}