AT172288B - Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls - Google Patents

Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls

Info

Publication number
AT172288B
AT172288B AT172288DA AT172288B AT 172288 B AT172288 B AT 172288B AT 172288D A AT172288D A AT 172288DA AT 172288 B AT172288 B AT 172288B
Authority
AT
Austria
Prior art keywords
basic operations
propositional calculus
deriving results
deriving
propositional
Prior art date
Application number
Other languages
English (en)
Inventor
Konrad Dipl Ing Zuse
Original Assignee
Konrad Dipl Ing Zuse
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Konrad Dipl Ing Zuse filed Critical Konrad Dipl Ing Zuse
Application granted granted Critical
Publication of AT172288B publication Critical patent/AT172288B/de

Links

AT172288D 1947-04-02 1947-04-02 Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls AT172288B (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
AT172288T 1947-04-02

Publications (1)

Publication Number Publication Date
AT172288B true AT172288B (de) 1952-08-25

Family

ID=3656760

Family Applications (1)

Application Number Title Priority Date Filing Date
AT172288D AT172288B (de) 1947-04-02 1947-04-02 Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls

Country Status (1)

Country Link
AT (1) AT172288B (de)

Similar Documents

Publication Publication Date Title
FR1010239A (fr) Appareil de galvanoplastie
CH258648A (de) Vorrichtung zum Polieren von Gegenständen.
CH266603A (de) Vorrichtung zum Bremsen eines Fadens.
CH259491A (de) Vorrichtung zum Prüfen von Oberflächen.
AT172288B (de) Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls
FR977865A (fr) Appareil de diffraction électronique
FR952774A (fr) Contrôleur de purge
CH266515A (de) Vorrichtung zum Erzeugen von Ozon.
FR973924A (fr) Appareil de détection du passage des objets
AT170850B (de) Vorrichtung zum Zerstäuben von Flüssigkeiten
CH264861A (de) Vorrichtung zum Halten von Gegenständen.
CH260206A (de) Vorrichtung zum Reinigen von Kämmen.
AT162439B (de) Vorrichtung zum Herstellen von Kaminköpfen
AT171079B (de) Vorrichtung zur Kastration von Tieren
AT184735B (de) Vorrichtung zum Vulkanisieren
CH252672A (de) Vorrichtung zum Schroten von Heustöcken.
AT168636B (de) Vorrichtung zum Besetzen von Bohrlöchern
AT170304B (de) Vorrichtung zur Beherrschung mechanischer Vorschübe von Werkzeugmaschinen
FR944510A (fr) Procédé de soudure
FR946312A (fr) Appareil de sport nautique
AT177129B (de) Vorrichtung zum Fixieren des Knotens von Selbstbindern
FR941890A (fr) Appareil pour travaux agricoles
FR1004279A (fr) Procédé de désulfitage des mutés
FR1014532A (fr) Procédé de vieillissement artificiel des redresseurs
AT172371B (de) Gerät zum Reinigen von Pfannen