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.

25.

Cover image for Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Author

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

Cover image for Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Author

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71291-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Anyone can code : the art and science of logical creativity

Anyone can code : the art and science of logical creativity

Anyone can code : the art and science of logical creativity

Author

Arya, Ali, author.

Preferred Shelf Number

QA76.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429244421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

29.

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:

30.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17127-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Author

Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-37487-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Author

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34175-6

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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:

36.

Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Author

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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