Erscheinungsjahr
Fach
Format
Lizenz
Sprache
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Foundations
Suche ohne Synonyme: keywords:(Foundations)
Verwendete Synonyme:
- bodenplatte
- fundament
- fundamentplatte
- grundplatte
- grundungsplatte
-
ω -P Automata with Communication Rules
Springer Verlag | 2004|Schlagwörter: Mathematical Logic and Foundations -
Ω-MKRP: A proof development environment
NationallizenzSpringer Verlag | 1994|Schlagwörter: Mathematical Logic and Foundations -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda
Springer Verlag | 2021|Schlagwörter: Mathematical Logic and Foundations -
λμ-Calculus: An algorithmic interpretation of classical natural deduction
NationallizenzSpringer Verlag | 1992|Schlagwörter: Mathematical Logic and Foundations -
λ-Terms as total or partial functions on normal forms
NationallizenzSpringer Verlag | 1975|Schlagwörter: Mathematical Logic and Foundations -
λ-Calculi with conditional rules
NationallizenzSpringer Verlag | 1993|Schlagwörter: Mathematical Logic and Foundations -
βη-Equality for coproducts
NationallizenzSpringer Verlag | 1995|Schlagwörter: Mathematical Logic and Foundations -
Zurücklegen oder nicht, das ist hier die Frage
Springer Verlag | 2021|Schlagwörter: Mathematical Logic and Foundations -
Zum Schluss eine dicke Überraschung
Springer Verlag | 2022|Schlagwörter: Mathematical Logic and Foundations -
Zum Abschluss wird es kunterbunt
Springer Verlag | 2022|Schlagwörter: Mathematical Logic and Foundations -
ZRes: The Old Davis–Putnam Procedure Meets ZBDD
Springer Verlag | 2000|Schlagwörter: Mathematical Logic and Foundations -
Zermelo-Fraenkel set theory
NationallizenzSpringer Verlag | 1994Schlagwörter: Mathematical Logic and Foundations -
Zchaff2004: An Efficient SAT Solver
Springer Verlag | 2005|Schlagwörter: Mathematical Logic and Foundations -
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study
Springer Verlag | 2020|Schlagwörter: Moral foundations -
Yet another correctness criterion for Multiplicative Linear Logic with MIX
NationallizenzSpringer Verlag | 1994|Schlagwörter: Mathematical Logic and Foundations -
Yet another application for Toupie: Verification of mutual exclusion algorithms
NationallizenzSpringer Verlag | 1993|Schlagwörter: Mathematical Logic and Foundations -
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice
Springer Verlag | 2009|Schlagwörter: Mathematical Logic and Foundations -
Years of Harvest
Springer Verlag | 2022|Schlagwörter: History and Philosophical Foundations of Physics -
YAPA: A Generic Tool for Computing Intruder Knowledge
Springer Verlag | 2009|Schlagwörter: Mathematical Logic and Foundations -
XRay: A prolog technology theorem prover for default reasoning: A system description
NationallizenzSpringer Verlag | 1996|Schlagwörter: Mathematical Logic and Foundations
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.