You have Guest access.
Log In
W. R. Carter
Book Chapter
IMPROVING ACCESS TO LEGAL INFORMATION: HOW DRAFTING SYSTEMS HELP
Marie-Francine Moens
2006, Information Technology and Lawyers, Pages 119-136
Reference Work Entry
table
2001, Computer Science and Communications Dictionary, Page 1730
BELIEF AND PROPOSITIONS (1957)
ALFONS KEUPINK and SANFORD SHIEH
Synthese Library, 2006, Volume 334, THE LIMITS OF LOGICAL EMPIRICISM, III, Pages 165-179
ZIP code
2001, Computer Science and Communications Dictionary, Page 1944
Oberon Script: A Lightweight Compiler and Runtime System for the Web
Ralph Sommerer
Lecture Notes in Computer Science, 2006, Volume 4228, Modular Programming Languages, Pages 73-83
Array-Structured Object Types for Mathematical Programming
Felix Friedrich and Jürg Gutknecht
Lecture Notes in Computer Science, 2006, Volume 4228, Modular Programming Languages, Pages 195-210
Is Oberon as simple as possible? A smaller object-oriented language based on the concept of module type
Atanas Radenski
Lecture Notes in Computer Science, 1994, Volume 782, Programming Languages and System Architectures, Pages 298-312
Introduction to PROGRESS, an attribute graph grammar based specification language
Andy Schürr
Lecture Notes in Computer Science, 1990, Volume 411, Graph-Theoretic Concepts in Computer Science, Pages 151-165
Tableaux for Quantified Hybrid Logic
Patrick Blackburn and Maarten Marx
Lecture Notes in Computer Science, 2002, Volume 2381, Automated Reasoning with Analytic Tableaux and Related Methods, Pages 259-286
Military programs
Springer Praxis Books, 2007, The Rebirth of the Russian Space Program, Pages 105-138
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info