Hochschulschrift
An approach to the extension of a theorem prover by advanced structuring mechanisms
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832525026
- Maße
-
24 cm
- Umfang
-
229 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2010
- Schlagwort
-
HOL
Isabelle
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2010
- Urheber
-
Bortin, Maksym
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Bortin, Maksym
- Logos-Verl.
Entstanden
- 2010
Ähnliche Objekte (12)
Efficient algorithms for structuring wireless sensor networks
Physiological responses of aquatic macrophytes to natural organic matter : potential for structuring aquatic ecosystems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Certifying system translations using higher order theorem provers
The broad histogram method : an extension to continuous systems
Extension groups of tautological sheaves on Hilbert schemes of points on surfaces
Mechanisms underlying the robustness of oscillatory properties
Agent coordination mechanisms for solving a partitioning task
Behavioral and neural mechanisms underlying dynamic face perception
Electromechanical coupling and dissipation mechanisms in nanoscale systems
Development of system models for industrial processes selection with regard to product lifecycle extension (PLETS models)
Transients and bifurcations of the mammalian circadian system : from synchronization to desynchronization mechanisms
Efficient algorithms for structuring wireless sensor networks
Physiological responses of aquatic macrophytes to natural organic matter : potential for structuring aquatic ecosystems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Certifying system translations using higher order theorem provers
The broad histogram method : an extension to continuous systems
Extension groups of tautological sheaves on Hilbert schemes of points on surfaces
Mechanisms underlying the robustness of oscillatory properties
Agent coordination mechanisms for solving a partitioning task
Behavioral and neural mechanisms underlying dynamic face perception
Electromechanical coupling and dissipation mechanisms in nanoscale systems
Development of system models for industrial processes selection with regard to product lifecycle extension (PLETS models)
Transients and bifurcations of the mammalian circadian system : from synchronization to desynchronization mechanisms
Efficient algorithms for structuring wireless sensor networks
Physiological responses of aquatic macrophytes to natural organic matter : potential for structuring aquatic ecosystems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Certifying system translations using higher order theorem provers
The broad histogram method : an extension to continuous systems
Extension groups of tautological sheaves on Hilbert schemes of points on surfaces
Mechanisms underlying the robustness of oscillatory properties
Agent coordination mechanisms for solving a partitioning task
Behavioral and neural mechanisms underlying dynamic face perception
Electromechanical coupling and dissipation mechanisms in nanoscale systems
Development of system models for industrial processes selection with regard to product lifecycle extension (PLETS models)