Staff View for: Automated Reasoning : 6th International

 Staff view

You must be logged in to Tag Records

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

Book Cover
Names: Gramlich, Bernhard. | Miller, Dale. | Sattler, Uli.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7364
Topics: Computer science. | Software engineering. | Logic design. | Electronic data processing. | Artificial intelligence. | Computer Science. | Mathematical Logic and Formal Languages. | Logics and Meanings of Programs. | Artificial Intelligence (incl. Robotics). | Software Engineering. | Mathematics of Computing. | Numeric Computing.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 03033nam a22005895i 4500
001 15637987
005 20151029222757.0
007 cr nn 008mamaa
008 120621s2012 gw | s |||| 0|eng d
020 |a9783642313653|9978-3-642-31365-3
024 7 |a10.1007/978-3-642-31365-3|2doi
035 |a(DE-He213)978-3-642-31365-3
035 |a(BENdb)444429
040 |dBENdb
050 4|aQA8.9-QA10.3
072 7|aUYA|2bicssc
072 7|aMAT018000|2bisacsh
072 7|aCOM051010|2bisacsh
082 04|a005.131|223
245 10|aAutomated Reasoning|h[electronic resource] :|b6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /|cedited by Bernhard Gramlich, Dale Miller, Uli Sattler.
264 1|aBerlin, Heidelberg :|bSpringer Berlin Heidelberg,|c2012.
300 |aXIV, 568p. 90 illus.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aLecture Notes in Computer Science,|x0302-9743 ;|v7364
520 |aThis book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
650 0|aComputer science.
650 0|aSoftware engineering.
650 0|aLogic design.
650 0|aElectronic data processing.
650 0|aArtificial intelligence.
650 14|aComputer Science.
650 24|aMathematical Logic and Formal Languages.
650 24|aLogics and Meanings of Programs.
650 24|aArtificial Intelligence (incl. Robotics).
650 24|aSoftware Engineering.
650 24|aMathematics of Computing.
650 24|aNumeric Computing.
700 1 |aGramlich, Bernhard.|eeditor.
700 1 |aMiller, Dale.|eeditor.
700 1 |aSattler, Uli.|eeditor.
710 2 |aSpringerLink (Online service)
773 0 |tSpringer eBooks
776 08|iPrinted edition:|z9783642313646
830 0|aLecture Notes in Computer Science,|x0302-9743 ;|v7364
852 80|beitem|hSpringer|t1
856 40|uhttp://libweb.ben.edu/login?source=opac&url=http://dx.doi.org/10.1007/978-3-642-31365-3|yLink to Automated Reasoning|z(access limited to Benedictine University patrons)
912 |aZDB-2-SCS
912 |aZDB-2-LNC
950 |aComputer Science (Springer-11645)

Staff View for: Automated Reasoning : 6th International