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 Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Author

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24886-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Author

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Author

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Author

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23247-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

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:

19.

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:

20.

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:

21.

Cover image for Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Author

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-59648-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25543-5

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

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