Search Results for Intelligence

|

|

|

|

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)

(56)

Hospodár, Michal. editor.

(2)

Jirásková, Galina. editor.

(2)

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

(2)

Roman, Dumitru. editor.

(2)

Sattler, Uli. editor.

(2)

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

(2)

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

(2)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Beierle, Christoph. editor.

(1)

Ben Amor, Nahla. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X

(1)

Bikakis, Antonis. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bourgeois, Anu. editor.

(1)

Bulling, Nils. editor.

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

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

(1)

Cariani, Fabrizio. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Cheng, Yong. author.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Demri, Stéphane. editor.

(1)

Dillig, Isil. editor.

(1)

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

(1)

Esparza, Javier. editor.

(1)

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

(1)

Fermé, Eduardo. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Fodor, Paul. editor.

(1)

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

(1)

Fontaine, Pascal. editor.

(1)

Gamboa, Ruben. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Grossi, Davide. editor.

(1)

Guo, Meiyun. editor.

(1)

Guttmann, Christian. editor. (orcid)0000-0001-9509-7551

(1)

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

(1)

Herrero, Pau. editor. (orcid)0000-0002-7088-5807

(1)

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

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Jipsen, Peter. editor.

(1)

Jungers, Raphaël. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kapur, Deepak. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

(1)

Khan, Md. Aquil. editor.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Koch, Fernando. editor. (orcid)0000-0001-7136-3253

(1)

Konstantinidis, Stavros. editor.

(1)

Koster, Andrew. editor. (orcid)0000-0001-5976-7183

(1)

Kroening, Daniel. editor.

(1)

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

(1)

Leake, David. editor.

(1)

Leite, Joao. editor.

(1)

Lenz, Richard. editor. (orcid)0000-0003-1551-4824

(1)

Leone, Nicola. editor.

(1)

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

(1)

Lifschitz, Vladimir. author.

(1)

Liu, Yan. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

López, Beatriz. editor. (orcid)0000-0001-9210-0073

(1)

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

(1)

Manuel, Amaldev. editor.

(1)

Marling, Cindy. editor. (orcid)0000-0002-4155-5155

(1)

Martin, Clare. editor. (orcid)0000-0002-3147-3746

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

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

(1)

McMillan, Kenneth. editor.

(1)

McQuillan, Ian. editor.

(1)

Meghini, Carlo. editor.

(1)

Meheus, Joke. editor.

(1)

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

(1)

Mesnard, Fred. editor.

(1)

Montagna, Sara. editor. (orcid)0000-0001-5390-4319

(1)

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

(1)

Montani, Stefania. editor. (orcid)0000-0002-5992-6735

(1)

Moortgat, Michael. editor.

(1)

Müller, Martin Eric. editor.

(1)

Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480

(1)

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

(1)

Parent, Xavier. editor.

(1)

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

(1)

Pogodalla, Sylvain. editor.

(1)

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

(1)

Potapov, Igor. editor.

(1)

Quost, Benjamin. editor.

(1)

Reichert, Manfred. editor. (orcid)0000-0003-2536-4153

(1)

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

(1)

Rendsvig, Rasmus K. editor.

(1)

Riaño, David. editor. (orcid)0000-0002-1608-0215

(1)

Rival, Xavier. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Schaefer, Ina. editor.

(1)

Schumacher, Michael. editor. (orcid)0000-0001-6522-4556

(1)

Seki, Shinnosuke. editor.

(1)

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

(1)

Shi, Zhongzhi. editor.

(1)

Silva, Alexandra. editor.

(1)

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

(1)

Stamelos, Ioannis. editor.

(1)

Staton, Sam. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

Sutton, Peter. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thachuk, Chris. editor.

(1)

Theobald, Martin. editor.

(1)

Tinelli, Cesare. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Umbach, Carla. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

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

(1)

Virbitskaite, Irina. editor.

(1)

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

(1)

Voronkov, Andrei. editor.

(1)

Weidenbach, Christoph. editor.

(1)

Wiratunga, Nirmalie. editor. (orcid)0000-0003-4040-2496

(1)

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

(1)

Wolter, Frank. editor.

(1)

Woltran, Stefan. editor. (orcid)0000-0003-1594-8972

(1)

Wu, Zhaohui. editor.

(1)

Zamani, Majid. editor.

(1)

Zelikovsky, Alexander. editor.

(1)

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

(1)

Zufferey, Damien. editor. (orcid)0000-0002-3197-8736

(1)

de Queiroz, Ruy. editor.

(1)

ten Teije, Annette. editor. (orcid)0000-0002-9771-8822

(1)

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

(1)

van der Torre, Leendert. editor.

(1)

Özçep, Özgür Lütfü. author.

(1)

Language

(56)

Publication Date

-

(37)

(19)

Subject

Artificial intelligence.

(56)

Mathematical logic.

(27)

Software engineering.

(27)

Programming languages (Electronic computers).

(14)

(10)

Computer science—Mathematics.

(10)

(9)

Application software.

(5)

Computer programming.

(5)

Computer communication systems.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Information storage and retrieval.

(3)

Mathematical statistics.

(3)

Computer system failures.

(2)

(2)

Numerical analysis.

(2)

Optical data processing.

(2)

Special purpose computers.

(2)

Computer organization.

(1)

Computer security.

(1)

Computer simulation.

(1)

(1)

Natural language processing (Computer science).

(1)

Pattern recognition.

(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

56 Results Found

Subscribe to search results

1 2 3 4 5

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 Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Author

van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

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:

30.

Cover image for DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Author

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

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:

33.

Cover image for Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Author

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Author

McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19311-9

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Author

Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60292-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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11