Search Results for 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: Algorithms.

Author

SpringerLink (Online service)

(74)

(2)

Anguita, Davide. author.

(2)

Cooper, S. Barry. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Donzellini, Giuliano. author.

(2)

IEEE Engineering in Medicine and Biology Society.

(2)

Löwe, Benedikt. editor.

(2)

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

(2)

Oneto, Luca. author.

(2)

Pin, Jean-Éric. editor.

(2)

Ponta, Domenico. author.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Ésik, Zoltán. editor.

(2)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alpuente, María. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Artho, Cyrille. editor.

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Batyrshin, Ildar. editor.

(1)

Beckmann, Arnold. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Biondi, Fabrizio. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bourgeois, Anu. editor.

(1)

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

(1)

Brunato, Mauro. editor. (orcid)0000-0002-7885-4255

(1)

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X

(1)

Cai, Zhipeng. editor.

(1)

Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620

(1)

Chaves, Madalena. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Colinet, Margot. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Diaz, Josep. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dong, Yingfei. editor.

(1)

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

(1)

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

(1)

Du, Ding-Zhu. editor.

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

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

(1)

Flum, Jörg. author.

(1)

Fomin, Fedor V. editor.

(1)

Friend, Michèle.

(1)

Gailly, Frederik. editor.

(1)

Gamboa, Ruben. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Goethe, Norma B.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Graf, Susanne. editor.

(1)

Granström, Johan Georg. author.

(1)

Grohe, Martin. author.

(1)

Guizzardi, Giancarlo. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Hanus, Michael. editor.

(1)

Harizanov, Valentina S.

(1)

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

(1)

He, Kun. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hirsch, Edward. editor.

(1)

Holmes, Ian. editor. (orcid)0000-0001-7639-5369

(1)

Holzer, Markus. editor.

(1)

Huynh, Van-Nam. editor.

(1)

Ibarra, Oscar. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Hiroyuki. editor.

(1)

Indrzejczak, Andrzej. author.

(1)

Inuiguchi, Masahiro. editor.

(1)

Jamil, Tariq. author.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

Klein, Gerwin. editor.

(1)

Knight, William. author.

(1)

Koepf, Wolfram. editor.

(1)

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383

(1)

Královič, Rastislav. editor.

(1)

Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424

(1)

Kutrib, Martin. editor.

(1)

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

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

König, Barbara. editor.

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leivant, Daniel. editor.

(1)

Li, Angsheng. editor.

(1)

Lipton, Richard J. author.

(1)

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

(1)

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X

(1)

Manea, Florin. editor.

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

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

(1)

Martin, Barnaby. editor.

(1)

Martins, Manuel A. editor. (orcid)0000-0002-5109-8066

(1)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(1)

Marín-Hernández, Antonio. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Moortgat, Michael. editor.

(1)

Mordonini, Monica. editor. (orcid)0000-0002-5916-9770

(1)

Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581

(1)

Nguyen, Canh Hao. editor.

(1)

Nierhaus, Gerhard. author.

(1)

Ochmański, Edward. editor.

(1)

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

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

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

(1)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(1)

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

(1)

Paule, Peter. editor.

(1)

Paulusma, Daniël. editor.

(1)

Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Plaat, Aske. editor.

(1)

Poole, Stephen. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Queiroz, Ruy. editor.

(1)

Rauzy, Antoine. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Roli, Andrea. editor. (orcid)0000-0001-9891-5441

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Sangiorgi, Davide. editor.

(1)

Seiler, Werner M. editor.

(1)

Seki, Hirosato. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Shamis, Pavel. editor.

(1)

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

(1)

Shur, Arseny M. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sorbi, Andrea. editor.

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859

(1)

Sun, Xiaoming. editor.

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Szepietowski, Andrzej. editor.

(1)

Tyszkiewicz, Jerzy. editor.

(1)

Urzyczyn, Paweł. editor.

(1)

Vahrenhold, Jan. editor.

(1)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(1)

Vereshchagin, Nikolay. editor.

(1)

Verykios, Vassilios S. editor.

(1)

Villani, Marco. editor. (orcid)0000-0002-5991-5470

(1)

Volkov, Mikhail V. editor.

(1)

Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399

(1)

Vrajitoru, Dana. author.

(1)

Watada, Junzo. editor.

(1)

Wegener, Ingo. author.

(1)

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

(1)

Zelikovsky, Alexander. editor.

(1)

Zhang, Zili. editor.

(1)

de Queiroz, Ruy. editor.

(1)

van Bevern, René. editor. (orcid)0000-0002-4805-218X

(1)

van den Herik, H. Jaap. editor.

(1)

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

(1)

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

(1)

Language

(74)

(1)

Publication Date

-

(33)

(19)

(5)

(4)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

Subject

Mathematical logic.

(33)

Computer logic.

(25)

Artificial intelligence.

(23)

Software engineering.

(22)

Computer science—Mathematics.

(19)

Computer science.

(18)

Computer software.

(14)

Data structures (Computer science).

(13)

(13)

Programming languages (Electronic computers).

(12)

(8)

Information theory.

(8)

Computational complexity.

(7)

Logic, Symbolic and mathematical.

(7)

Numerical analysis.

(7)

Arithmetic and logic units, Computer.

(6)

Computer communication systems.

(5)

Electronic data processing.

(4)

Bioinformatics.

(3)

Computer simulation.

(3)

Database management.

(3)

Philosophy (General).

(3)

Special purpose computers.

(3)

(2)

Application software.

(2)

(2)

Biomedical engineering.

(2)

Biomedische techniek.

(2)

(2)

Computer system failures.

(2)

Electronic books.

(2)

Fuzzy (inteligência artificial)

(2)

(2)

Genetic epistemology.

(2)

Information storage and retrieval.

(2)

(2)

(2)

Models, Biological.

(2)

Neural Networks (Computer)

(2)

Neural networks (Computer science)

(2)

Neurale netwerken.

(2)

Niet-lineaire dynamica.

(2)

(2)

Signaalverwerking.

(2)

Signal Processing, Computer-Assisted.

(2)

Signal processing.

(2)

Systems engineering.

(2)

Algebra -- Data processing.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Circuits and Systems.

(1)

Computer graphics.

(1)

Computer organization.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

(1)

Electrical engineering.

(1)

(1)

Functions of a Complex Variable.

(1)

Functions of complex variables.

(1)

Information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

(1)

Neuronales Netz.

(1)

Operating systems (Computers).

(1)

Science -- Philosophy.

(1)

Sequential machine theory.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Theory of Computation.

(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

77 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.

13.

Cover image for Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Author

Indrzejczak, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-8785-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Author

Granström, Johan Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1736-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Induction, Algorithmic Learning Theory, and Philosophy

Induction, Algorithmic Learning Theory, and Philosophy

Induction, Algorithmic Learning Theory, and Philosophy

Author

Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6127-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Author

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Author

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Author

Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11