Search Results for Mathematical Logic and Foundations.

1.

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.

2.

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.

3.

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.

4.

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.

5.

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.

6.

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.

7.

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.

8.

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.

9.

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.

10.

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.

11.

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.

12.

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.

13.

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.

14.

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.

15.

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.

16.

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.

17.

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.

18.

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.

19.

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.

20.

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.

21.

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.

22.

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.

23.

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.

24.

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.

25.

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.

26.

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.

27.

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.

28.

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.

29.

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.

30.

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.

31.

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.

32.

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.

33.

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.

34.

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.

35.

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.

36.

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.

37.

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.

38.

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.

39.

Mathematical Olympiad Treasures

by

Andreescu, Titu. author.

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

Format:

Alıntı:

Mathematical Logic and Foundations.

40.

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.

41.

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.

42.

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.

43.

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.

44.

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.

45.

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.

46.

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.

47.

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.

	{displayName}	{count}
{error}