Computer science
Results 7153 - 7176 of 16995
Computer science
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540558873
- ISBN
- 9783540558873
Paperback
Condition: New
€ 69.60
€ 69.60
Paperback. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics. Editor(s): Eijck, J.Van. Series: Lecture Notes in Computer Science. Num Pages: 580 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540536864
- ISBN
- 9783540536864
Paperback
Condition: New
€ 130.15
€ 130.15
Paperback. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642622489
- ISBN
- 9783642622489
Paperback
Condition: New
€ 122.81
€ 122.81
Hardback. Logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data. Intended for scientists and graduate students, this book presents research results on logic applications in databases that focus on application areas such as XML, web data, workflow, and others. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: UN; UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540007050
- ISBN
- 9783540007050
Hardback
Condition: New
€ 128.97
€ 128.97
Hardcover. Logics and Falsifications Series: Trends in Logic. Num Pages: 217 pages, 18 black & white illustrations, biography. BIC Classification: CFA; UYQL. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 18. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319052052
- ISBN
- 9783319052052
Hardback
Condition: New
€ 64.29
€ 64.29
Paperback. Series: Law and Philosophy Library. Num Pages: 314 pages, biography. BIC Classification: HPL; LAB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 464.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 314
- Condition
- New
- SKU
- V9789048149285
- ISBN
- 9789048149285
Paperback
Condition: New
€ 238.01
€ 238.01
Paperback. This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals. Series: Cognitive Technologies. Num Pages: 305 pages, 26 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642261879
- ISBN
- 9783642261879
Paperback
Condition: New
€ 186.29
€ 186.29
Logical Thinking in the Pyramidal Schema of Concepts: the Logical and ...
Geldsetzer, Lutz; Schwartz, Richard L.
Paperback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 184 pages, black & white illustrations, bibliography. BIC Classification: HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 184
- Condition
- New
- SKU
- V9789401784443
- ISBN
- 9789401784443
Paperback
Condition: New
€ 141.68
€ 141.68
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 142.96
€ 142.96
Paperback. Series: Artificial Intelligence. Num Pages: 436 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642075162
- ISBN
- 9783642075162
Paperback
Condition: New
€ 186.38
€ 186.38
Hardback. Integrates nonmonotonic reasoning and belief change in a single framework from an artificial intelligence logic point of view. Starting with the logical foundations, the author develops a framework and presents fresh results. Series: Artificial Intelligence. Num Pages: 436 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 1780.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540417668
- ISBN
- 9783540417668
Hardback
Condition: New
€ 194.49
€ 194.49
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 191.76
€ 191.76
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 49 black & white illustrations, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642357213
- ISBN
- 9783642357213
Paperback
Condition: New
€ 65.54
€ 65.54
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 65.68
€ 65.68
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 33 colour illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 417
- Condition
- New
- SKU
- V9783319276823
- ISBN
- 9783319276823
Paperback
Condition: New
€ 64.83
€ 64.83
Paperback. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540727323
- ISBN
- 9783540727323
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. Series: Studies in Computational Intelligence. Num Pages: 309 pages, 33 black & white illustrations, 23 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. Softcover of orig. ed. 2006
- Number of pages
- 309
- Condition
- New
- SKU
- V9783642067099
- ISBN
- 9783642067099
Paperback
Condition: New
€ 185.30
€ 185.30
Hardback. Presents logical foundations for rule-based systems. This book aims to provide a discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. It is aimed at students, knowledge engineers and research workers involved in the domain of AI. Series: Studies in Computational Intelligence. Num Pages: 309 pages, 33 black & white illustrations, 23 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2006
- Number of pages
- 309
- Condition
- New
- SKU
- V9783540291176
- ISBN
- 9783540291176
Hardback
Condition: New
€ 186.15
€ 186.15
Logical Foundations for Cognitive Agents: Contributions in Honor of Ra...
. Ed(S): Levesque, Hector J.; Pirri, Fiora
paperback. Editor(s): Levesque, Hector J.; Pirri, Fiora. Series: Artificial Intelligence. Num Pages: 405 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 638.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 405
- Condition
- New
- SKU
- V9783642643064
- ISBN
- 9783642643064
Paperback
Condition: New
€ 65.07
€ 65.07
Logical Aspects of Computational Linguistics. Celebrating 20 Years of ...
. Ed(S): Amblard, Maxime; Groote, Philippe De...
Paperback. Editor(s): Amblard, Maxime; Groote, Philippe de; Pogodalla, Sylvain; Retore, Christian. Series: Lecture Notes in Computer Science. Num Pages: 335 pages, 51 black & white illustrations, biography. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783662538258
- ISBN
- 9783662538258
Paperback
Condition: New
€ 64.09
€ 64.09
Paperback. Editor(s): Asher, Nicholas; Soloviev, Sergei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 29 black & white illustrations, biography. BIC Classification: CFX; UM; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783662437414
- ISBN
- 9783662437414
Paperback
Condition: New
€ 62.99
€ 62.99
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012 Editor(s): Bechet, Denis; Dikovsky, Alexandre. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 261 pages, 32 black & white illustrations, biography. BIC Classification: CFX; UYQL; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642312618
- ISBN
- 9783642312618
Paperback
Condition: New
€ 63.99
€ 63.99
Paperback. This text presents the refereed proceedings of the Second International Conference on Logical Aspects of Computational Linguistics. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type directed natural language processing and proof theoretic aspects. Editor(s): Lecomte, Alain; Lamarche, Francois; Perrier, Guy. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 266 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540657514
- ISBN
- 9783540657514
Paperback
Condition: New
€ 66.86
€ 66.86
Paperback. This volume presents 18 full papers, four invited contributions and an introductory survey. The papers cover relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming and type theory. Editor(s): Retore, Christian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540637004
- ISBN
- 9783540637004
Paperback
Condition: New
€ 70.08
€ 70.08