Search Results for Mathematical logic.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

198 Results Found

1 2 3 4 5 .. 17

000000000000DEFAULT

25.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Author

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334626.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38574-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334715.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39038-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

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

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

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

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

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

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39074-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39091-3

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Author

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334771.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39274-0

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Author

Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334772.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39277-1

Format:

Availability

Online Library~1

Available:
Copies:

34.

Erdős Centennial

Author

Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334774.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39286-3

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

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

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Author

Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.

Preferred Shelf Number

ONLINE(334781.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39320-4

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 17

	{displayName}	{count}
{error}