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: Computer programming.

Author

SpringerLink (Online service)

(78)

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)

Aichernig, Bernhard K. editor.

(1)

Araujo, Theo. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Arya, Ali, author.

(1)

Balduccini, Marcello. editor.

(1)

Barrett, Clark. editor.

(1)

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

(1)

Bjørner, Nikolaj. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Braffort, P. (Paul)

(1)

Braffort, P. (Paul), editor.

(1)

Braga, Christiano. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

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

(1)

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

(1)

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

(1)

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

(1)

Cariani, Fabrizio. editor.

(1)

Cassez, Franck. editor.

(1)

Castor, Fernando. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Codish, Michael. 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)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Fischbach, Kai. editor.

(1)

Flatt, Matthew. editor.

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gavanelli, Marco. editor.

(1)

Giannakopoulou, Dimitra. 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)

Grossi, Davide. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. 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)

Hirschberg, D. (David)

(1)

Hirschberg, D. (David), editor.

(1)

Hobert, Sebastian. editor.

(1)

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

(1)

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

Jones, Richard. 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)

Knight, William. author.

(1)

Krieger, Udo R. editor.

(1)

Kunkel, Julian M. editor.

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

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

(1)

Leone, Nicola. editor.

(1)

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

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Lindley, Sam. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yu David. editor.

(1)

Liu, Zhiming. 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)

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

(1)

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

(1)

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

(1)

McBride, Conor. editor.

(1)

McCarthy, Jay. editor.

(1)

Meheus, Joke. editor.

(1)

Merz, Stephan. 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)

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

(1)

Ohwada, Hayato. editor.

(1)

Olderog, Ernst-Rüdiger. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

O’Regan, Gerard. author.

(1)

Paes, Aline. editor.

(1)

Pang, Jun. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

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

(1)

Parent, Xavier. editor.

(1)

Peled, Doron. editor.

(1)

Peña, Ricardo. editor.

(1)

Proença, José. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reppy, John. editor.

(1)

Russo, Alessandra. editor.

(1)

Salaün, Gwen. editor.

(1)

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

(1)

Santana de Almeida, Eduardo. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Saraiva, João. editor.

(1)

Schaefer, Ina. editor.

(1)

Schmidt, Renate A. editor.

(1)

Seidl, Martina. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shao, Zhong. editor.

(1)

Silva, Josep. editor.

(1)

Simpson, Alex. editor.

(1)

Sirjani, Marjan. editor.

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Stamelos, Ioannis. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sumii, Eijiro. editor.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Tillmann, Nikolai. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Trinder, Phil. editor.

(1)

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

(1)

Virbitskaite, Irina. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vrajitoru, Dana. author.

(1)

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

(1)

Wąsowski, Andrzej. editor.

(1)

Xue, Jinyun. 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)

Zaverucha, Gerson. editor.

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

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

(1)

Language

(81)

Publication Date

-

(21)

(19)

(19)

(9)

(6)

(4)

(1)

(1)

(1)

Subject

Programming Techniques.

(53)

Software engineering.

(52)

Computer science.

(45)

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)

Artificial intelligence.

(25)

Computer logic.

(18)

Programming languages (Electronic computers).

(18)

Mathematical logic.

(12)

(11)

Computer networks .

(10)

Computer Communication Networks.

(8)

Computer System Implementation.

(6)

Computer communication systems.

(6)

Computer systems.

(6)

(5)

Computer simulation.

(4)

(4)

(4)

Logic programming.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Theory of Computation.

(4)

Computer Modelling.

(3)

Computer science—Mathematics.

(3)

Electronic data processing -- Management.

(3)

Human-computer interaction.

(3)

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Application software.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer architecture.

(2)

Computer engineering.

(2)

Computer input-output equipment.

(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 storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Input/Output and Data Communications.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Models of Computation.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Processor Architectures.

(2)

System Performance and Evaluation.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Architecture, Computer.

(1)

Arithmetic and Logic Structures.

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Programming Languages / General

(1)

Category Theory, Homological Algebra.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer and Information Systems Applications.

(1)

Computer arithmetic and logic units.

(1)

Computer science -- Mathematics.

(1)

Computer system failures.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Computing Milieux.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Management information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics -- Data processing.

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers)

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

The Computing Profession.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

81 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 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:

2.

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:

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 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:

5.

Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Author

Silva, Josep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16202-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 Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Author

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08615-6

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