Search Results for Languages, Artificial.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

26 Results Found

00000000000000000000000000DEFAULT

Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Author

Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521187.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32883-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings

Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings

Author

Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520739.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49002-6

Format:

Availability

Online Library~1

Available:
Copies:

Introduction to Artificial Intelligence

Author

Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521892.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25928-9

Format:

Availability

Online Library~1

Available:
Copies:

Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings

Author

Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520436.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39059-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Author

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Preferred Shelf Number

XX(520784.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21203-1

Format:

Availability

Online Library~1

Available:
Copies:

Big Data and Artificial Intelligence 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings

Author

Goyal, Vikram. editor. Kumar, Naveen. editor. Bhowmick, Sourav S. editor. Goyal, Pawan. editor. Goyal, Navneet. editor.

Preferred Shelf Number

XX(521361.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49601-1

Format:

Availability

Online Library~1

Available:
Copies:

Turkish Natural Language Processing

Author

Oflazer, Kemal. editor. Saraçlar, Murat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Language Production, Cognition, and the Lexicon

Author

Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518530.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Author

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518878.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21365-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Author

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Author

Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334059.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35828-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Author

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334120.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36089-3

Format:

Availability

Online Library~1

Available:
Copies:

13.

Programming Logics Essays in Memory of Harald Ganzinger

Author

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334468.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37651-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Author

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334673.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38812-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39071-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39074-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme

Author

Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333372.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30910-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Author

Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334825.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39634-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Author

Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334875.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39992-3

Format:

Availability

Online Library~1

Available:
Copies:

21.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Author

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334973.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40579-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Reactive Kripke Semantics

Author

Gabbay, Dov M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335100.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41389-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Paraconsistency: Logic and Applications

Author

Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335759.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Intelligent systems for engineers and scientists

Author

Hopgood, Adrian A.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

25.

Algorithms and theory of computation handbook. Special topics and techniques

Author

Atallah, Mikhail J. Blanton, Marina.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

26.

Hayali diller : söylenceler, ütopyalar, fantazmalar, kuruntular ve dilsel kurgular

Author

Yaguello, Marina. Sevil, Necmettin Kamil. Erdur, Korkut.

Preferred Shelf Number

P120.I53 Y331 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}