Search Results for Mathematical logic.

|

|

|

|

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

Author

SpringerLink (Online service)

(64)

Ait Ameur, Yamine. editor.

(2)

Moortgat, Michael. editor.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Abraham, Erika. editor.

(1)

Artho, Cyrille. editor.

(1)

Barkatou, Moulay. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Beierle, Christoph. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bulling, Nils. editor.

(1)

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

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Dillig, Isil. editor.

(1)

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

(1)

Dowek, Gilles. editor.

(1)

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

(1)

Fermé, Eduardo. editor.

(1)

Fiadeiro, José Luiz. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Gamboa, Ruben. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Grossi, Davide. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hirsch, Edward. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hospodár, Michal. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Shusaku. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Jones, Cliff. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katrenko, Sophia. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kroening, Daniel. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Leake, David. editor.

(1)

Leite, Joao. editor.

(1)

Leone, Nicola. editor.

(1)

Liu, Zhiming. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

Manea, Florin. editor.

(1)

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

(1)

Manuel, Amaldev. editor.

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Meghini, Carlo. editor.

(1)

Meheus, Joke. editor.

(1)

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Muscholl, Anca. editor.

(1)

Müller, Martin Eric. editor.

(1)

(1)

Nipkow, Tobias. author.

(1)

Ogata, Kazuhiro. editor.

(1)

Okhotin, Alexander. editor.

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Ouaknine, Joel. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

Parent, Xavier. editor.

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Paulusma, Daniël. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Pogodalla, Sylvain. editor.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

Potapov, Igor. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Rauzy, Antoine. editor.

(1)

Regensburger, Georg. editor.

(1)

Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291

(1)

Remke, Anne. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Roman, Dumitru. editor.

(1)

Rosenkranz, Markus. editor.

(1)

Rutten, Jan. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Scott, Philip. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Shi, Zhongzhi. editor.

(1)

Silva, Alexandra. editor.

(1)

Skrzypczak, Michał. editor.

(1)

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

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Staton, Sam. editor.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sutton, Peter. editor.

(1)

Tasiran, Serdar. editor.

(1)

Tinelli, Cesare. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Umbach, Carla. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Villata, Serena. editor. (orcid)0000-0003-3495-493X

(1)

Weidenbach, Christoph. editor.

(1)

Wiels, Virginie. editor.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Wu, Zhaohui. editor.

(1)

Xue, Jinyun. editor.

(1)

Yahav, Eran. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

de Queiroz, Ruy. editor.

(1)

van Breugel, Franck. editor.

(1)

van der Torre, Leendert. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Language

(65)

Publication Date

-

(35)

(29)

(1)

Subject

Mathematical logic.

(64)

Software engineering.

(32)

Artificial intelligence.

(27)

Computer science—Mathematics.

(14)

(14)

Programming languages (Electronic computers).

(14)

(13)

Computer programming.

(5)

Computer system failures.

(3)

Database management.

(3)

Application software.

(2)

Computer science.

(2)

Computer simulation.

(2)

Data structures (Computer science).

(2)

Information storage and retrieval.

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Optical data processing.

(2)

Boole, George, 1815-1864.

(1)

(1)

Computer communication systems.

(1)

Computer organization.

(1)

Computer security.

(1)

(1)

Electrical engineers -- United States -- Biography.

(1)

Information theory.

(1)

(1)

Logicians -- Great Britain -- Biography.

(1)

Management information systems.

(1)

Microprogramming .

(1)

Partial differential equations.

(1)

Pattern recognition.

(1)

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

Special purpose computers.

(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

65 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Author

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33636-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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:

18.

Cover image for Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Author

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32505-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35540-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Author

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Author

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58771-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

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:

24.

Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Author

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11