|
|
|
|
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... | | | | Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, ProceedingsThis book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004.
The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current... |
|
CSS for Print Designers
Print designers work in images, shapes, and color: not code. The last thing many of them want to do is to translate their work into mono-spaced tags and numbers, divs and ids. But print designers can't ignore the web and producing a design for the web has become a common part of a complete graphics package. And,... | | Programming and Problem Solving with Java
Programming and Problem Solving with Java™ is an excellent resource for discovering Java as a first programming language. After introducing the very basics of programming, the text provides detail on Java syntax, semantics, classes and objects, and then continues with coverage of arithmetic expressions, selection and encapsulation, file... | | Data Structures and Algorithms Using Python and C++
THIS BOOK is intended for use in a traditional college-level data structures course (commonly known as CS2). This book assumes that students have learned the basic syntax of Python and been exposed to the use of existing classes. Most traditional CS1 courses that use Python will have covered all the necessary topics, and some may have covered a... |
|
| | Conceptual Analysis and Philosophical Naturalism (Bradford Books)Many philosophical naturalists eschew analysis in favor of discovering metaphysical truths from the a posteriori, contending that analysis does not lead to philosophical insight. A countercurrent to this approach seeks to reconcile a certain account of conceptual analysis with philosophical naturalism; prominent and influential proponents of this... | | |
|
Introduction To The Theory Of Logic
This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on... | | Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,... | | |
|
|
Result Page: 11 10 9 8 7 6 5 4 3 2 1 |