Zoekresultaten
Resultaat 21 - 40 (van 105)
Michiel van Lambalgen Independence structures in set theory
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Valentijn Anton Johan Borghuis Coming to terms with modal logic
on the interpretation of modalities in typed →l⇋-calculus
Non-fictie
Engels | 219 pagina's | 1994
Gedrukt boek
Herman Geuvers A short and flexible proof of strong normalization for the calculus of construction
Non-fictie
Engels | 27 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
Logic and philosophy of science in Uppsala
papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science
Non-fictie
Engels | 610 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek
E. Marchiori Some uses of constructive negation for classical problems in non-monotonic reasoning
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
E. Poll A programming logic based on type theory
Non-fictie
Engels | 175 pagina's | 1994
Gedrukt boek
August Stern The quantum brain
theory and implications
Non-fictie
Engels | 213 pagina's | North-Holland, Amsterdam [etc.] | 1994
Gedrukt boek
Renate Bartsch The myth of literal meaning
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Hans de Nivelle Application of resolution games to resolution decision procedures
Non-fictie
Engels | 34 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Hans de Nivelle Resolution games and non-liftable resolution orderings
Non-fictie
Engels | 47 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Andrei Arsov Basic arrow logic with relation algebraic operators
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Logic, methodology, and philosophy of science
Non-fictie
Engels | 989 pagina's | Elsevier, Amsterdam [etc.] | 1994
Gedrukt boek
W. Peremans Ups and downs of type theory
Non-fictie
Engels | 9 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
Kazimierz Świrydowicz A remark on the maximal extensions of the relevant logic R
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Natasha Kurtonina The Lambek calculus
relational semantics and the method of labelling
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
F. Kamareddine | R.P. Nederpelt Refining reduction in the lambda calculus
Non-fictie
Engels | 15 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
Philosophical logic in Poland
Non-fictie
Engels | 367 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek
Joeri Engelfriet | Jan Treur Temporal theories of reasoning
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
L.D. Beklemishev Iterated local reflection vs iterated consistency
Non-fictie
Engels | 25 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek