Search Results for Artificial Intelligence

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:

+

Konu: 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

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.

1.

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:

2.

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:

3.

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:

4.

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:

5.

Cover image for Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Author

Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Representation Theorems in Computer Science A Treatment in Logic Engineering

Representation Theorems in Computer Science A Treatment in Logic Engineering

Representation Theorems in Computer Science A Treatment in Logic Engineering

Author

Özçep, Özgür Lütfü. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Author

Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44116-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Author

McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54013-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Author

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54108-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Author

Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04939-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Author

Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44980-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Author

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12154-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11