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: Artificial intelligence.

Author

SpringerLink (Online service)

(601)

Voronkov, Andrei. editor.

(12)

Dix, Jürgen. editor.

(8)

Baldoni, Matteo. editor.

(7)

Kacprzyk, Janusz. editor.

(7)

Leite, João. editor.

(7)

Torroni, Paolo. editor.

(6)

Castillo, Oscar. editor.

(5)

Dastani, Mehdi. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Fages, François. editor.

(5)

Rossi, Francesca. editor.

(5)

Son, Tran Cao. editor.

(5)

Castillo, Oscar. author.

(4)

Dediu, Adrian-Horia. editor.

(4)

Gabbay, Dov M. author.

(4)

Governatori, Guido. editor.

(4)

Martín-Vide, Carlos. editor.

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Schlechta, Karl. author.

(4)

Seipel, Dietmar. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Winikoff, Michael. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Calude, Cristian S. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fu, Haohuan. editor.

(3)

Hanus, Michael. editor.

(3)

Krawczak, Maciej. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Laurent, Anne. editor.

(3)

Lees, Michael Harold. editor.

(3)

Lukasiewicz, Thomas. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Melin, Patricia. author.

(3)

Métais, Elisabeth. editor.

(3)

Omicini, Andrea. editor.

(3)

Ossowski, Sascha. editor.

(3)

Pedrycz, Witold. editor.

(3)

Queiroz, Ruy. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roman, Dumitru. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Sardina, Sebastian. editor.

(3)

Satoh, Ken. editor.

(3)

Sattler, Uli. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Seki, Shinnosuke. editor.

(3)

Shi, Yong. editor.

(3)

Shi, Zhongzhi. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Sojka, Petr. editor.

(3)

Strauss, Olivier. editor.

(3)

Szmidt, Eulalia. editor.

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Woodcock, Jim. editor.

(3)

Yager, Ronald R. editor.

(3)

Allemang, Dean. editor.

(2)

Aloni, Maria. editor.

(2)

Atanassov, Krassimir T. editor.

(2)

Baader, Franz. editor.

(2)

Baral, Chitta. editor.

(2)

Baroglio, Cristina. editor.

(2)

Barthe, Gilles. editor.

(2)

Bekki, Daisuke. editor.

(2)

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

(2)

Bezhanishvili, Nick. editor.

(2)

Biere, Armin. editor.

(2)

Bobillo, Fernando. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Cai, Zhipeng. editor.

(2)

Carette, Jacques. editor.

(2)

Caro, Jaime. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809

(2)

Cornelis, Chris. editor.

(2)

Croitoru, Madalina. editor.

(2)

Decker, Stefan. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dignum, Virginia. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Esparza, Javier. editor.

(2)

Etalle, Sandro. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Fisher, Michael. editor.

(2)

Fontaine, Pascal. editor.

(2)

Frasconi, Paolo. editor.

(2)

Galmiche, Didier. editor.

(2)

Giesl, Jürgen. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Goertzel, Ben. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Goranko, Valentin. editor.

(2)

Hagiya, Masami. editor.

(2)

He, Kun. editor.

(2)

Hill, Patricia M. editor.

(2)

Hinchey, Mike. editor.

(2)

(2)

Horrocks, Ian. editor.

(2)

Hospodár, Michal. editor.

(2)

Hähnle, Reiner. editor.

(2)

Inuiguchi, Masahiro. editor.

(2)

Jamroga, Wojtek. editor.

(2)

Jirásková, Galina. editor.

(2)

Johnson, Michael. editor.

(2)

Kahl, Wolfram. editor.

(2)

Karczewski, Konrad. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kim, Haeng-kon. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Kudenko, Daniel. editor.

(2)

Kuich, Werner. editor.

(2)

König, Barbara. editor.

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Leone, Nicola. editor.

(2)

Lisi, Francesca A. editor.

(2)

Luck, Michael. editor.

(2)

Lutz, Carsten. editor.

(2)

Löbner, Sebastian. editor.

(2)

Margaria, Tiziana. editor.

(2)

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

(2)

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

(2)

Matson, Eric. editor.

(2)

Mauri, Giancarlo. editor.

(2)

Maynard, Diana. editor.

(2)

Małuszyński, Jan. editor.

(2)

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

(2)

Meseguer, José. editor.

(2)

Meyden, Ron. editor.

(2)

Middeldorp, Aart. editor.

(2)

Mika, Peter. editor.

(2)

Miller, Dale. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Moreno Díaz, Roberto. editor.

(2)

Morrill, Glyn. editor.

(2)

Muggleton, Stephen. editor.

(2)

Muskens, Reinhard. editor.

(2)

Müller, Jörg P. editor.

(2)

Narukawa, Yasuo. editor.

(2)

Nickles, Matthias. editor.

(2)

Niemelä, Ilkka. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nishizaki, Shin-ya. editor.

(2)

Noriega, Pablo. editor.

(2)

Numao, Masayuki. editor.

(2)

Padget, Julian. editor.

(2)

Padgham, Lin. editor.

(2)

Parent, Xavier. editor.

(2)

Pasi, Gabriella. editor.

(2)

Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170

(2)

Paulin-Mohring, Christine. editor.

(2)

Pfenning, Frank. editor.

(2)

Pichler, Franz. editor.

(2)

Platzer, André. author.

(2)

Pogodalla, Sylvain. editor.

(2)

Pontelli, Enrico. editor.

(2)

Pool, Michael. editor.

(2)

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

(2)

Quesada Arencibia, Alexis. editor.

(2)

Radev, Dragomir. editor.

(2)

Rajamani, Sriram K. editor.

(2)

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

(2)

Richter, Frank. editor.

(2)

Sadananda, Ramakoti. editor.

(2)

Sakallah, Karem A. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Schulz, Katrin. editor.

(2)

Shankar, Natarajan. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Spivakovsky, Aleksander. editor.

(2)

Steffen, Bernhard. editor.

(2)

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

(2)

Stephan, Frank. editor.

(2)

Stuckey, Peter J. editor.

(2)

Suarez, Merlin Teodosia. editor.

(2)

Subrahmanian, V.S. author.

(2)

Tamaddoni-Nezhad, Alireza. editor.

(2)

Tang, Jie. editor.

(2)

Timmis, Jon. editor.

(2)

Tinelli, Cesare. editor.

(2)

Toni, Francesca. editor.

(2)

Language

(606)

Publication Date

-

(78)

(67)

(60)

(54)

(49)

(46)

(45)

(43)

(43)

(40)

(39)

(38)

(2)

(1)

(1)

Subject

Computer science.

(418)

(341)

Software engineering.

(235)

Computer Communication Networks.

(89)

Mathematical logic.

(76)

Computer software.

(74)

Artificial Intelligence (incl. Robotics).

(60)

Computer logic.

(56)

Mathematical Logic and Formal Languages.

(48)

Information systems.

(41)

(37)

(36)

Logic, Symbolic and mathematical.

(34)

Algebra -- Data processing.

(31)

Information storage and retrieval systems.

(31)

Logics and Meanings of Programs.

(31)

(30)

Computational complexity.

(27)

Database management.

(27)

Computer science—Mathematics.

(24)

(23)

Computer vision.

(23)

Computer simulation.

(22)

Information theory.

(22)

Application software.

(20)

Electronic data processing.

(20)

Engineering mathematics.

(19)

Computer network architectures.

(18)

(17)

Information storage and retrieval.

(17)

Operating systems (Computers).

(17)

Programming languages (Electronic computers).

(16)

Optical pattern recognition.

(14)

Bioinformatics.

(13)

Philosophy (General).

(13)

Translators (Computer programs).

(13)

Computation by Abstract Devices.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computer security.

(10)

Programming Languages, Compilers, Interpreters.

(10)

Information Storage and Retrieval.

(9)

Science -- Philosophy.

(9)

Arithmetic and logic units, Computer.

(8)

Computer communication systems.

(8)

Computer programming.

(8)

Information Systems Applications (incl. Internet).

(8)

(8)

Programming Techniques.

(8)

Computer organization.

(7)

Data Mining and Knowledge Discovery.

(7)

Genetic epistemology.

(7)

Mathematical statistics.

(7)

Multimedia systems.

(7)

Social sciences -- Data processing.

(7)

Computational linguistics.

(6)

Computer aided design.

(6)

Computer hardware.

(6)

Discrete Mathematics in Computer Science.

(6)

Management information systems.

(6)

Computer Science, general.

(5)

Data structures (Computer science).

(5)

Optical data processing.

(5)

Simulation and Modeling.

(5)

Symbolic and Algebraic Manipulation.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer system failures.

(4)

Computer system performance.

(4)

Data protection.

(4)

(4)

Pattern Recognition.

(4)

Pattern recognition.

(4)

Special purpose computers.

(4)

Text processing (Computer science.

(4)

User Interfaces and Human Computer Interaction.

(4)

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Data structures (Computer scienc.

(3)

Natural language processing (Computer science).

(3)

Numerical analysis.

(3)

(2)

Computational Biology/Bioinformatics.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer graphics.

(2)

(2)

Distribution (Probability theory).

(2)

Document Preparation and Text Processing.

(2)

Economics, Mathematical.

(2)

(2)

Image Processing and Computer Vision.

(2)

Information Systems.

(2)

Linguistics -- Philosophy.

(2)

(2)

Machine learning.

(2)

Management of Computing and Information Systems.

(2)

Math Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Monoclonal antibodies.

(2)

Operations research.

(2)

(2)

(2)

Science -- History.

(2)

Systems engineering.

(2)

Theory of Computation.

(2)

User interfaces (Computer systems).

(2)

Animal behavior.

(1)

Architecture, Computer.

(1)

(1)

Biomedical engineering.

(1)

Business Information Systems.

(1)

(1)

(1)

(1)

Computational intelligence.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer industry.

(1)

Computer networks.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Control theory.

(1)

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Differentiable dynamical systems.

(1)

Digital control systems.

(1)

Discrete groups.

(1)

(1)

(1)

(1)

Estimation theory.

(1)

Expert systems (Computer science)

(1)

Feedback (Electronics).

(1)

Frequency response (Dynamics).

(1)

(1)

Genetic algorithms.

(1)

Geometry, algebraic.

(1)

(1)

Global system for mobile communications.

(1)

Health informatics.

(1)

History of Computing.

(1)

Induction (Logic)

(1)

Inference (Logic)

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Kunstmatige intelligentie.

(1)

Language Translation and Linguistics.

(1)

Laplace transformation.

(1)

(1)

Learning, Psychology of.

(1)

MAKİNE BİLGİSİ.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

(1)

Neural networks (Computer science).

(1)

Nonlinear control theory.

(1)

Numeric Computing.

(1)

(1)

Optimisation . . .

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Philosophy of Language.

(1)

Philosophy of Science.

(1)

Philosophy of mind.

(1)

(1)

Prediction (Logic)

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Quasilinearization.

(1)

Robust control.

(1)

SONUÇ (MANTIK)

(1)

Science -- Study and teaching.

(1)

(1)

(1)

(1)

Systems and Data Security.

(1)

Systems theory.

(1)

Technology -- Philosophy.

(1)

(1)

Telecommunication.

(1)

(1)

TÜMEVARIM (MANTIK)

(1)

(1)

Waarschijnlijkheidstheorie.

(1)

(1)

e-Commerce/e-business.

(1)

ÖĞRENİM PSİKOLOJİSİ.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe 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

606 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 51

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.

49.

Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Author

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44923-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Author

Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13281-5

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Author

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07151-0

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Author

Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09764-0

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Author

Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08587-6

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Author

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08615-6

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08970-6

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Author

Janjua, Naeem Khalid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Puzzles in Logic, Languages and Computation The Green Book

Puzzles in Logic, Languages and Computation The Green Book

Puzzles in Logic, Languages and Computation The Green Book

Author

Radev, Dragomir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Puzzles in Logic, Languages and Computation The Red Book

Puzzles in Logic, Languages and Computation The Red Book

Puzzles in Logic, Languages and Computation The Red Book

Author

Radev, Dragomir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Author

Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334337.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 51

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11