MacFAUST : program for constructing finite automata as instruments in problem solving research ; manual
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
48 S.
- Language
-
Deutsch
- Bibliographic citation
-
Berichte aus dem Psychologischen Institut der Universität Bonn / Psychologisches Institut ; Bd. 17, H. 3
- Event
-
Veröffentlichung
- (where)
-
Bonn
- (who)
-
Psychologisches Inst.
- (when)
-
1991
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:12 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Buchner, Axel
- Psychologisches Inst.
Time of origin
- 1991
Other Objects (12)
Learning probabilistic automata with SMT solving
Constructing Deterministic Parity Automata from Positive and Negative Examples
Finite state automata: Dynamic task environments in problem solving research.
Constructing a Static Program Slicer for R Programs
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
A WINDOWS program : constructing objective functions ; version 1.0 user's guide
Temporal Program Verification and Synthesis as Horn Constraints Solving
Fractals in science : with a MacIntosh program Diskette
Constructing paradise
Learning probabilistic automata with SMT solving
Constructing Deterministic Parity Automata from Positive and Negative Examples
Finite state automata: Dynamic task environments in problem solving research.
Constructing a Static Program Slicer for R Programs
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
A WINDOWS program : constructing objective functions ; version 1.0 user's guide
Temporal Program Verification and Synthesis as Horn Constraints Solving
Fractals in science : with a MacIntosh program Diskette
Constructing paradise
Learning probabilistic automata with SMT solving
Constructing Deterministic Parity Automata from Positive and Negative Examples
Finite state automata: Dynamic task environments in problem solving research.
Constructing a Static Program Slicer for R Programs
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
A WINDOWS program : constructing objective functions ; version 1.0 user's guide
Temporal Program Verification and Synthesis as Horn Constraints Solving
Fractals in science : with a MacIntosh program Diskette