Search Results for Logic, Symbolic and mathematical.

1.

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

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

Author

Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Mathematics of Discrete Structures for Computer Science

Author

Pace, Gordon J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Truth and Falsehood An Inquiry into Generalized Logical Values

Author

Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Mathematical Logic for Computer Science

Author

Ben-Ari, Mordechai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Foundations of Algebraic Specification and Formal Software Development

Author

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

Author

Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

The Complexity of Valued Constraint Satisfaction Problems

Author

Živný, Stanislav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

Author

Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

Author

Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}