Search Results for Logic

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Programming Techniques.

Author

SpringerLink (Online service)

(82)

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

(2)

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

(2)

Legay, Axel. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Lämmel, Ralf. editor.

(2)

Saraiva, João. editor.

(2)

Schmidt, Renate A. editor.

(2)

Voronkov, Andrei. editor.

(2)

Abreu, Salvador. editor.

(1)

Achten, Peter. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Albert, Elvira. 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)

Bensalem, Saddek. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(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)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabalar, Pedro. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castor, Fernando. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(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)

Felleisen, Matthias. editor.

(1)

Fernandes, João P. editor.

(1)

Fontaine, Pascal. editor.

(1)

Furia, Carlo A. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galmiche, Didier. editor.

(1)

Gardner, Philippa. 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)

Gorp, Pieter. editor.

(1)

Groves, Lindsay. 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)

Hierons, Robert M. editor.

(1)

Hinchey, Mike. editor.

(1)

Hinze, Ralf. editor.

(1)

Hobert, Sebastian. editor.

(1)

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

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang. editor.

(1)

Hähnle, Reiner. editor.

(1)

Inoue, Katsumi. editor.

(1)

Janhunen, Tomi. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johnsen, Einar Broch. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(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)

Kneusel, Ronald T. author.

(1)

Koopman, Pieter. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Larchey-Wendling, Dominique. 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)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

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

(1)

Lindley, Sam. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Yu David. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. 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önn, Henrik. editor.

(1)

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

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

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

(1)

McBride, Conor. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middeldorp, Aart. editor.

(1)

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

(1)

Mousavi, Mohammad Reza. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

Oetsch, Johannes. editor.

(1)

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

(1)

Ogawa, Mizuhito. editor.

(1)

Ohwada, Hayato. editor.

(1)

Olderog, Ernst-Rüdiger. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

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

(1)

Peled, Doron. editor.

(1)

Peña, Ricardo. editor.

(1)

Proença, José. editor.

(1)

Pührer, Jörg. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reppy, John. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Rungta, Neha. editor.

(1)

Russo, Alessandra. editor.

(1)

Sagonas, Kostis. editor.

(1)

Salaün, Gwen. editor.

(1)

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

(1)

Santana de Almeida, Eduardo. editor.

(1)

Seipel, Dietmar. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shankar, A. Udaya. author.

(1)

Singh, Neeraj Kumar. author.

(1)

Sirjani, Marjan. editor.

(1)

Son, Tran Cao. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sun, Jing. editor.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Tasiran, Serdar. editor.

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Tompits, Hans. editor.

(1)

Trinder, Phil. editor.

(1)

Umeda, Masanobu. editor.

(1)

Veanes, Margus. editor.

(1)

Venet, Arnaud. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Viganò, Luca. editor.

(1)

Visser, Joost. editor.

(1)

Weidenbach, Christoph. 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)

Yokota, Rio. editor.

(1)

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

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Zili. editor.

(1)

de Boer, Frank. editor.

(1)

de Supinski, Bronis R. 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

(82)

Publication Date

-

(29)

(21)

(19)

(9)

(4)

Subject

Computer science.

(72)

Software engineering.

(60)

Computer programming.

(53)

Computer Science Logic and Foundations of Programming.

(42)

Compilers (Computer programs).

(38)

Compilers and Interpreters.

(38)

Formal Languages and Automata Theory.

(28)

Machine theory.

(28)

(26)

Artificial intelligence.

(25)

Logics and Meanings of Programs.

(23)

Mathematical Logic and Formal Languages.

(21)

Programming Languages, Compilers, Interpreters.

(20)

Computer Communication Networks.

(15)

(10)

Computer networks .

(10)

Artificial Intelligence (incl. Robotics).

(8)

Computer System Implementation.

(6)

Computer systems.

(6)

Computer simulation.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer software.

(4)

Discrete Mathematics in Computer Science.

(4)

(4)

Logic programming.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Theory of Computation.

(4)

Computational complexity.

(3)

Computer Modelling.

(3)

Electronic data processing -- Management.

(3)

Human-computer interaction.

(3)

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

Software Engineering/Programming and Operating Systems.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer architecture.

(2)

Computer engineering.

(2)

Computer input-output equipment.

(2)

(2)

Control Structures and Microprogramming.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures and Information Theory.

(2)

(2)

Data structures (Computer science).

(2)

Design and Analysis of Algorithms.

(2)

Electronic digital computers -- Evaluation.

(2)

Information Storage and Retrieval.

(2)

Information Systems.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Input/Output and Data Communications.

(2)

Management of Computing and Information Systems.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Models of Computation.

(2)

Processor Architectures.

(2)

Simulation and Modeling.

(2)

System Performance and Evaluation.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Application software.

(1)

Arithmetic and Logic Structures.

(1)

Category Theory, Homological Algebra.

(1)

Computation by Abstract Devices.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer and Information Systems Applications.

(1)

Computer arithmetic and logic units.

(1)

Computer science -- Mathematics.

(1)

Computer vision.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Computing Milieux.

(1)

Discrete mathematics.

(1)

Health Informatics.

(1)

Information Systems Applications (incl. Internet).

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics -- Data processing.

(1)

Medical records -- Data processing.

(1)

Models and Principles.

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Special Purpose and Application-Based Systems.

(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

82 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

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 Logic Programming with Prolog

Logic Programming with Prolog

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331207.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Author

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

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:

5.

Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2300-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Author

Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63139-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Author

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61660-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Author

Lucanu, Dorel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44802-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Author

Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40566-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11