Skip to:
Search Results
|
Content
|
Bottom
|
Search Facets
Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
13
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Subject: Mathematical Logic and Formal Languages.
Author
Include
Exclude
SpringerLink (Online service)
(49)
Bonacina, Maria Paola. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Son, Tran Cao. editor.
(2)
Subrahmanian, V.S. author.
(2)
Voronkov, Andrei. editor.
(2)
Albert, Elvira. editor.
(1)
Amgoud, Leila. author.
(1)
Aspinall, David. editor.
(1)
Baldoni, Matteo. editor.
(1)
Baroglio, Cristina. editor.
(1)
Bekki, Daisuke. editor.
(1)
Berdine, Josh. editor.
(1)
Bertacco, Valeria. editor.
(1)
Berto, Francesco. editor.
(1)
Bezhanishvili, Guram. editor.
(1)
Biere, Armin. editor.
(1)
Blackburn, Patrick. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bobillo, Fernando. editor.
(1)
Boella, Guido. editor.
(1)
Brézillon, Patrick. editor.
(1)
Butler, Alastair. editor.
(1)
Cabalar, Pedro. editor.
(1)
Carette, Jacques. editor.
(1)
Cellier, Peggy. editor.
(1)
Costa, Paulo C. G. editor.
(1)
Czarnecki, Krzysztof. editor.
(1)
Dapoigny, Richard. editor.
(1)
Dediu, Adrian-Horia. editor.
(1)
Dennunzio, Alberto. editor.
(1)
Dickerson, John P. author.
(1)
Distel, Felix. editor.
(1)
Duchier, Denys. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Erwig, Martin. editor.
(1)
Euzenat, Jérôme. author.
(1)
Fanizzi, Nicola. editor.
(1)
Fleuriot, Jacques. editor.
(1)
Fontaine, Pascal. editor.
(1)
Gaag, Linda C. editor.
(1)
Gabbay, Dov M. author.
(1)
Galmiche, Didier. editor.
(1)
Ganesalingam, Mohan. author.
(1)
Ganter, Bernhard. editor.
(1)
Giacobazzi, Roberto. editor.
(1)
Gonthier, Georges. editor.
(1)
Gottlob, Georg. editor.
(1)
Harmelen, Frank. editor.
(1)
Hedin, Görel. editor.
(1)
Horrocks, Ian. editor.
(1)
Ida, Tetsuo. editor.
(1)
Jain, Sanjay. editor.
(1)
Järvisalo, Matti. editor.
(1)
Karhumäki, Juhani. editor.
(1)
Kohlenbach, Ulrich. editor.
(1)
Kühnberger, Kai-Uwe. editor.
(1)
Lange, Christoph. editor.
(1)
Larchey-Wendling, Dominique. editor.
(1)
Laskey, Kathryn B. editor.
(1)
Laskey, Kenneth J. editor.
(1)
Legay, Axel. editor.
(1)
Leite, João. editor.
(1)
Lepistö, Arto. editor.
(1)
Libkin, Leonid. editor.
(1)
Lodaya, Kamal. editor.
(1)
Lukasiewicz, Thomas. editor.
(1)
Löbner, Sebastian. editor.
(1)
Mannes, Aaron. author.
(1)
Manzoni, Luca. editor.
(1)
Mares, Edwin. editor.
(1)
Marra, Vincenzo. editor.
(1)
Martinez, Maria Vanina. author.
(1)
Martín-Vide, Carlos. editor.
(1)
Mastroeni, Isabella. editor.
(1)
Masulli, Francesco. editor.
(1)
Mauri, Giancarlo. editor.
(1)
Mayr, Heinrich C. editor.
(1)
McMillan, Ken. editor.
(1)
Micalizio, Roberto. editor.
(1)
Middeldorp, Aart. editor.
(1)
Molinaro, Cristian. author.
(1)
Moraga, Claudio. editor.
(1)
Morrill, Glyn. editor.
(1)
Motomura, Yoichi. editor.
(1)
Munos, Rémi. editor.
(1)
Nahir, Amir. editor.
(1)
Nederhof, Mark-Jan. editor.
(1)
Nickles, Matthias. editor.
(1)
Nikitchenko, Mykola. editor.
(1)
Norrish, Michael. editor.
(1)
Paige, Richard F. editor.
(1)
Paoli, Francesco. editor.
(1)
Parmentier, Yannick. editor.
(1)
Pasi, Gabriella. editor.
(1)
Paulin-Mohring, Christine. editor.
(1)
Peters, James F. editor.
(1)
Pichardie, David. editor.
(1)
Pool, Michael. editor.
(1)
Porreca, Antonio E. editor.
(1)
Queiroz, Ruy. editor.
(1)
Ramanna, Sheela. editor.
(1)
Ribeiro, Márcio Moretto. author.
(1)
Richter, Frank. editor.
(1)
Riguzzi, Fabrizio. editor.
(1)
Ringeissen, Christophe. editor.
(1)
Schmidt, Renate A. editor.
(1)
Seising, Rudolf. editor.
(1)
Shakarian, Jana. author.
(1)
Shvaiko, Pavel. author.
(1)
Skowron, Andrzej. editor.
(1)
Sliva, Amy. author.
(1)
Sojka, Petr. editor.
(1)
Spivakovsky, Aleksander. editor.
(1)
Stephan, Frank. editor.
(1)
Stickel, Mark E. editor.
(1)
Suraj, Zbigniew. editor.
(1)
Tanaka, Koji. editor.
(1)
Termini, Settimo. editor.
(1)
Thimm, Matthias. editor.
(1)
Timm, Ingo J. editor.
(1)
Torre, Leon. editor.
(1)
Torroni, Paolo. editor.
(1)
Trillas, Enric. editor.
(1)
Truthe, Bianca. editor.
(1)
Van Gelder, Allen. editor.
(1)
Vos, Tanja. editor.
(1)
Wang, Pei. editor.
(1)
Wang, Xin. editor.
(1)
Weidenbach, Christoph. editor.
(1)
Windsteiger, Wolfgang. editor.
(1)
Woltran, Stefan. editor.
(1)
Wyk, Eric. editor.
(1)
Yager, Ronald. editor.
(1)
Zamboni, Luca. editor.
(1)
Zeugmann, Thomas. editor.
(1)
Zholtkevych, Grygoriy. editor.
(1)
d’Amato, Claudia. editor.
(1)
Železný, Filip. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(49)
Publication Date
Include
Exclude
-
2013
(49)
Subject
Include
Exclude
Computer science.
(49)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
Software engineering.
(19)
Computation by Abstract Devices.
(10)
Algorithm Analysis and Problem Complexity.
(9)
Computer software.
(9)
Programming Languages, Compilers, Interpreters.
(9)
Information Storage and Retrieval.
(8)
Information storage and retrieval systems.
(8)
Programming Techniques.
(7)
Computer vision.
(6)
Data Mining and Knowledge Discovery.
(6)
Data mining.
(6)
Information Systems Applications (incl. Internet).
(6)
Algebra -- Data processing.
(5)
Computational complexity.
(5)
Discrete Mathematics in Computer Science.
(5)
Symbolic and Algebraic Manipulation.
(5)
Computer Communication Networks.
(4)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(4)
Computer Science, general.
(4)
Computer simulation.
(4)
Optical pattern recognition.
(4)
Pattern Recognition.
(4)
Simulation and Modeling.
(4)
Computer Appl. in Social and Behavioral Sciences.
(3)
Database management.
(3)
Information systems.
(3)
Logic.
(3)
Social sciences -- Data processing.
(3)
User Interfaces and Human Computer Interaction.
(3)
Image Processing and Computer Vision.
(2)
Information Systems.
(2)
Logic, Symbolic and mathematical.
(2)
Management of Computing and Information Systems.
(2)
Math Applications in Computer Science.
(2)
Mathematical Logic and Foundations.
(2)
Algebra.
(1)
Bioinformatics.
(1)
Business Information Systems.
(1)
Computational Biology/Bioinformatics.
(1)
Computational Intelligence.
(1)
Computer Appl. in Administrative Data Processing.
(1)
Computer Appl. in Arts and Humanities.
(1)
Computer graphics.
(1)
Computers and Society.
(1)
Data protection.
(1)
Document Preparation and Text Processing.
(1)
Electronic data processing.
(1)
Engineering.
(1)
Epistemology.
(1)
Genetic epistemology.
(1)
Information Systems and Communication Service.
(1)
Information and Communication, Circuits.
(1)
Information theory.
(1)
Language Translation and Linguistics.
(1)
Linguistics -- Philosophy.
(1)
Management information systems.
(1)
Mathematics.
(1)
Numeric Computing.
(1)
Ontology.
(1)
Order, Lattices, Ordered Algebraic Structures.
(1)
Philosophy (General).
(1)
Philosophy of Language.
(1)
Philosophy.
(1)
Probability and Statistics in Computer Science.
(1)
Systems and Data Security.
(1)
Text processing (Computer science.
(1)
Theory of Computation.
(1)
Translators (Computer programs).
(1)
e-Commerce/e-business.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
Electronic Library
Library
Include
Exclude
Online Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
49 Results Found
1
2
3
4
5
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary 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.
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334962.1)
Electronic Access
http://dx.doi.org/10.1007/978-3-642-40537-2
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
2
3
4
5
Go to:
Search Results
|
Top of Page
|
Search Facets