Zoekresultaten
Resultaat 961 - 980 (van 1047)
Centrum voor Wiskunde en Informatica Comparing curried and uncurried rewriting
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
D.J.N. van Eijck | Fer-Jan de Vries Reasoning about update logic
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
G.J. Akkerman A refinement for nonmonotonic logic
Non-fictie
Engels | 27 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek An epistemic logic for defeasible reasoning using a meta-level architecture metaphor
Non-fictie
Engels | 26 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
International Federation for Information Processing Higher order logic theorem proving and its applications
proceedings of the IFIP TC10/WG10.2 International workshop on higher order logic theorem proving and its applications - Hol '92, organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992
Non-fictie
Engels | 568 pagina's | North-Holland, Amsterdam [etc.] | 1993
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | A. Frolova Changing preferences
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | R.N. Bol A real-time process logic
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
A. Bossi | N. Cocco | S. Etalle Simultaneous replacement in normal programs
Non-fictie
Engels | 34 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Z. Khasidashvili Higher order recursive program schemes are turing incomplete
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Z. Khasidashvili Perpetual reductions and strong normalization in orthogonal term rewriting systems
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
D.J.N. van Eijck | G. Cepparello Dynamic modal predicate logic
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
David I. Beaver The kinematics of presupposition
Non-fictie
Engels | 30 pagina's | Institute for Language, Logic and Information, Amsterdam | 1992
Gedrukt boek
F. van Raamsdonk A simple proof of confluence for weakly orthogonal combinatory reduction systems
Non-fictie
Engels | 23 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
W. van der Hoek | M. de Rijke Counting objects in generalized quantifier theory, modal logic, and knowledge representation
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
Willem Groeneveld Dynamic semantics and circular propositions
Non-fictie
Engels | 40 pagina's | University of Amsterdam, Institute for Language Logic and Information, Amsterdam | 1991
Gedrukt boek
Jan Potters | Frans van Winden Lobbying and asymmetric information
Non-fictie
Engels | 29 pagina's | University of Amsterdam, Department of Economics, Amsterdam | 1991
Gedrukt boek
Richard L. Epstein The semantic foundations of logic
Non-fictie
Engels | 386 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1990
Gedrukt boek
Heinrich Wansing The adequacy problem for sequential propositionmal logic
Non-fictie
Engels | 18 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1989
Gedrukt boek
Marco Swaen Weak and strong sum-elimination in intuitionistic type theory
Non-fictie
Engels | 194 pagina's | 1989
Gedrukt boek
J.A. Bergstra | J. Heering Which data types have →ō⇋-complete initial algebra spcifications?
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek