Search Results for Logic.

104 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

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

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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

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

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Author

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334673.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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

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

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Social Semantics The Search for Meaning on the Web

Author

Halpin, Harry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331289.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1885-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Author

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332921.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}