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: Programming Techniques.

Author

SpringerLink (Online service)

(53)

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

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

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

(2)

Abreu, Salvador. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Artho, Cyrille. editor.

(1)

Balduccini, Marcello. editor.

(1)

Barrett, Clark. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Braga, Christiano. editor.

(1)

Bramer, Max. author.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Cabalar, Pedro. editor.

(1)

Castor, Fernando. editor.

(1)

Chechik, Marsha. editor.

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Duan, Zhenhua. editor.

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gavanelli, Marco. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

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

(1)

Goodwin, Morten. editor.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hinchey, Mike. editor.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hopcroft, Philippa. editor.

(1)

Inoue, Katsumi. editor.

(1)

Janhunen, Tomi. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

King, Andy. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Law, Effie L.-C. editor.

(1)

Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Legay, Axel. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lindley, Sam. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yu David. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Luger, Ewa. editor.

(1)

Luger, Ewa. editor. (orcid)0000-0001-7882-9415

(1)

Lämmel, Ralf. editor.

(1)

Lönn, Henrik. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Majumdar, Rupak. editor.

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

McBride, Conor. editor.

(1)

McMillan, Ken. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Mousavi, Mohammad Reza. editor.

(1)

Nalon, Cláudia. editor.

(1)

Oetsch, Johannes. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ohwada, Hayato. editor.

(1)

Olderog, Ernst-Rüdiger. editor.

(1)

Ong, Luke. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341

(1)

Peled, Doron. editor.

(1)

Proença, José. editor.

(1)

Pührer, Jörg. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reppy, John. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Russo, Alessandra. editor.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Saraiva, João. editor.

(1)

Schmidt, Renate A. editor.

(1)

Seipel, Dietmar. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Sirjani, Marjan. editor.

(1)

Son, Tran Cao. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Thiemann, Peter. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Tompits, Hans. editor.

(1)

Trinder, Phil. editor.

(1)

Umeda, Masanobu. editor.

(1)

Voronkov, Andrei. editor.

(1)

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

(1)

Wolf, Armin. editor.

(1)

Wąsowski, Andrzej. editor.

(1)

Yamamoto, Akihiro. editor.

(1)

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

(1)

Yang, Hongseok. editor.

(1)

Yang, Xiaolu. editor.

(1)

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

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Zili. editor.

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Ölveczky, Peter Csaba. editor.

(1)

Železný, Filip. editor.

(1)

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036

(1)

Language

(53)

Publication Date

-

(21)

(17)

(8)

(5)

(2)

Subject

Computer programming.

(48)

Computer science.

(47)

Computer Science Logic and Foundations of Programming.

(42)

Software engineering.

(39)

Compilers (Computer programs).

(35)

Compilers and Interpreters.

(35)

Formal Languages and Automata Theory.

(28)

Machine theory.

(28)

Artificial intelligence.

(20)

(9)

Computer networks .

(9)

Computer Communication Networks.

(7)

Artificial Intelligence (incl. Robotics).

(4)

Computer System Implementation.

(4)

Computer systems.

(4)

(4)

Logic programming.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Computer Modelling.

(3)

Computer simulation.

(3)

Electronic data processing -- Management.

(3)

(3)

(3)

Logics and Meanings of Programs.

(3)

Mathematical Logic and Formal Languages.

(3)

Theory of Computation.

(3)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Discrete Mathematics in Computer Science.

(2)

Electronic digital computers -- Evaluation.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Models of Computation.

(2)

Programming Languages, Compilers, Interpreters.

(2)

System Performance and Evaluation.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Application software.

(1)

Category Theory, Homological Algebra.

(1)

Computation by Abstract Devices.

(1)

Computational complexity.

(1)

Computer Science, general.

(1)

Computer and Information Systems Applications.

(1)

Computer science -- Mathematics.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computing Milieux.

(1)

Control Structures and Microprogramming.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Design and Analysis of Algorithms.

(1)

Discrete mathematics.

(1)

Information theory.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Microprogramming .

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

The Computing Profession.

(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

53 Results Found

Subscribe to search results

1 2 3 4 5

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.

13.

Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Author

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7956-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77382-2

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

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:

17.

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:

18.

Cover image for Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Author

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-88930-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Author

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51046-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Yang, Hongseok. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54434-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57288-8

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61467-0

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54314-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11