Search Results for Logic programming.

|

|

|

|

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: Mathematical logic.

Author

SpringerLink (Online service)

(28)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Kobayashi, Naoki. editor.

(2)

Li, Wei. author.

(2)

Sui, Yuefei. author.

(2)

Worrell, James. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Akama, Seiki. editor.

(1)

Baltag, Alexandru. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Cohen, Ernie. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

James, Phillip. editor.

(1)

Klein, Gerwin. author.

(1)

Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337

(1)

Kroening, Daniel. editor.

(1)

König, Barbara. editor. (orcid)0000-0002-4193-2889

(1)

Leone, Nicola. editor.

(1)

Liu, Mingming. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Morzenti, Angelo. author.

(1)

Muscholl, Anca. editor.

(1)

Nipkow, Tobias. author.

(1)

Paes, Aline. editor.

(1)

Petre, Luigia. editor.

(1)

Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X

(1)

Roggenbach, Markus. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842

(1)

Seligman, Jeremy. editor.

(1)

Sen, Prabal Kumar. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Srivastava, Shashi Mohan. editor.

(1)

Stein, Benno. editor. (orcid)0000-0001-9033-2217

(1)

Urbat, Henning. editor. (orcid)0000-0002-3265-7168

(1)

Velázquez-Quesada, Fernando R. editor.

(1)

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

(1)

Yahav, Eran. editor.

(1)

Yamada, Tomoyuki. editor.

(1)

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

(1)

Yang, Xiaolu. editor.

(1)

Zaverucha, Gerson. editor.

(1)

Zhang, Hantao. author.

(1)

Zhang, Jian. author.

(1)

Language

(28)

Publication Date

-

(8)

(7)

(6)

(4)

(2)

(1)

Subject

Mathematical Logic and Foundations.

(16)

Computer science.

(11)

(10)

Logic programming.

(10)

Programming languages (Electronic computers).

(10)

Software engineering.

(10)

Artificial intelligence.

(9)

Computer logic.

(9)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Computer science -- Mathematics.

(7)

Computer Science Logic and Foundations of Programming.

(6)

Mathematics of Computing.

(5)

Theory of Computation.

(5)

Computer System Implementation.

(4)

Computer systems.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Computer programming.

(3)

(2)

Application software.

(2)

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Information theory.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computational complexity.

(1)

Computational intelligence.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Communication Networks.

(1)

Computer Modelling.

(1)

Computer and Information Systems Applications.

(1)

Computer communication systems.

(1)

Computer networks .

(1)

Computer simulation.

(1)

Control Structures and Microprogramming.

(1)

Formal Reasoning.

(1)

(1)

(1)

Mathematical statistics.

(1)

Microprogramming .

(1)

Programming Techniques.

(1)

(1)

(1)

Social sciences -- Data processing.

(1)

Symbolic and Algebraic Manipulation.

(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

28 Results Found

Subscribe to search results

1 2 3

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 Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Author

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Author

König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66438-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Author

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71379-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19570-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32441-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Languages and Compilation

Formal Languages and Compilation

Formal Languages and Compilation

Author

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04879-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14174-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Author

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72044-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Author

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55665-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Towards Paraconsistent Engineering

Towards Paraconsistent Engineering

Towards Paraconsistent Engineering

Author

Akama, Seiki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40418-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Author

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12154-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Author

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11164-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11