AT172288B - Device for deriving results by means of basic operations of the propositional calculus - Google Patents

Device for deriving results by means of basic operations of the propositional calculus

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
German (de)
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/en

Links

AT172288D 1947-04-02 1947-04-02 Device for deriving results by means of basic operations of the propositional calculus AT172288B (en)

Applications Claiming Priority (1)

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

Publications (1)

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

Family

ID=3656760

Family Applications (1)

Application Number Title Priority Date Filing Date
AT172288D AT172288B (en) 1947-04-02 1947-04-02 Device for deriving results by means of basic operations of the propositional calculus

Country Status (1)

Country Link
AT (1) AT172288B (en)

Similar Documents

Publication Publication Date Title
FR1010239A (en) Electroplating apparatus
CH258648A (en) Device for polishing objects.
CH266603A (en) Device for braking a thread.
CH259491A (en) Device for testing surfaces.
AT172288B (en) Device for deriving results by means of basic operations of the propositional calculus
FR977865A (en) Electronic diffraction apparatus
FR952774A (en) Purge controller
CH266515A (en) Device for generating ozone.
FR973924A (en) Device for detecting the passage of objects
AT170850B (en) Device for atomizing liquids
CH264861A (en) Device for holding objects.
CH260206A (en) Device for cleaning combs.
AT162439B (en) Device for making chimney heads
AT171079B (en) Device for the castration of animals
AT184735B (en) Vulcanizing device
CH252672A (en) Device for grinding haysticks.
AT168636B (en) Device for filling boreholes
AT170304B (en) Device for controlling mechanical feed rates of machine tools
FR944510A (en) Welding process
FR946312A (en) Water sport apparatus
AT172615B (en) Device for atomizing liquids
AT177129B (en) Device for fixing the knot of self-ties
FR941890A (en) Device for agricultural work
FR1004279A (en) Process for desulphiting mutates
FR1014532A (en) Artificial aging process for rectifiers