Search Results for Mathematical logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Programming Techniques.

Author

SpringerLink (Online service)

(24)

Voronkov, Andrei. editor.

(2)

Achten, Peter. editor.

(1)

Albert, Elvira. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bravetti, Mario. editor.

(1)

Cabalar, Pedro. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Fontaine, Pascal. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Galmiche, Didier. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Groves, Lindsay. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Koopman, Pieter. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Legay, Axel. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lämmel, Ralf. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middeldorp, Aart. editor.

(1)

Peña, Ricardo. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schmidt, Renate A. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Son, Tran Cao. editor.

(1)

Sun, Jing. editor.

(1)

Tasiran, Serdar. editor.

(1)

Veanes, Margus. editor.

(1)

Viganò, Luca. editor.

(1)

Visser, Joost. editor.

(1)

Weidenbach, Christoph. editor.

(1)

Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811

(1)

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300

(1)

Yang, Xiaolu. editor.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Železný, Filip. editor.

(1)

Language

(24)

Publication Date

-

(21)

(3)

Subject

Computer science.

(22)

Mathematical Logic and Formal Languages.

(21)

Software engineering.

(18)

(17)

Logics and Meanings of Programs.

(17)

Programming Languages, Compilers, Interpreters.

(14)

Artificial intelligence.

(8)

Artificial Intelligence (incl. Robotics).

(7)

Computer Communication Networks.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer software.

(4)

Computational complexity.

(3)

Computer programming.

(3)

Discrete Mathematics in Computer Science.

(3)

Computer System Implementation.

(2)

Computer simulation.

(2)

Computer systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Simulation and Modeling.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Category Theory, Homological Algebra.

(1)

Computation by Abstract Devices.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Science, general.

(1)

Computer networks .

(1)

Computer vision.

(1)

Health Informatics.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems.

(1)

(1)

Logic programming.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Medical records -- Data processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

24 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4656-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68538-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Author

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86054-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Author

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331181.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Author

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334946.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Author

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334934.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Author

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335023.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

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:

10.

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

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:

11.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Author

Hinze, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11