Zoekresultaten
Resultaat 1 - 20 (van 88)
Herman Jurjus On nesting of a nonmonotonic conditional
Non-fictie
Nederlands | 14 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
Hans de Nivelle Ordering refinements of resolution
Non-fictie
Engels | 197 pagina's | 1995
Gedrukt boek
Andreja Prijatelj Investigating bounded contraction
Non-fictie
Engels | 111 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
Quantifiers: logics, models and computation
Non-fictie
Engels | 268 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
M.J. Hollenberg An axiomatisation of strong negation and relational composition
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | Hans van Maaren Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Adriana B. Compagnoni Higher-order subtyping with intersection types
Non-fictie
Engels | 160 pagina's | 1995
Gedrukt boek
Witold Marciszewski | Roman Murawski Mechanization of reasoning in a historical perspective
Non-fictie
Engels | 267 pagina's | Rodopi, Amsterdam [etc.] | 1995
Gedrukt boek
Eric Rosen Modal logic over finite structures
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
W.J. Fokkink | C. Verhoef A conservative look at term deduction systems with variable binding
Non-fictie
Engels | 29 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
L.D. Beklemishev Notes on local reflection principles
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | M.P.A. Sellink Confluence for process verification
Non-fictie
Engels | 37 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
H.P. Korver | M.P.A. Sellink Formalising LPOs and invariants in Coq
Non-fictie
Engels | 20 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Fuzzy logic and its applications to engineering, information sciences, and intelligent systems
Non-fictie
Engels | 481 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
W.J. Fokkink On the completeness of the equations for the Kleene star in bisimulation
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
V.Yu. Shavrukov Interpreting reflexive theories in finitely many axioms
Non-fictie
Engels | 15 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek
D. Griffioen | H.P. Korver The Bakery Protocol
a comparative case-study in formal verification
Non-fictie
Engels | 25 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Frans Voorbraak Combining unreliable pieces of evidence
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
J.F. Groote | Jan Springintveld Focus points and convergent process operators
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek