( en | de | ru )

 

Disambiguation of "Coy, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
A Note on the Automatic Generation of Inductive Assertions.

. MFCS, volume 45 of Lecture Notes in Computer Science, page 244-249. Springer, (1976)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Coy

Wolfgang Coy

Adelheid Coy

Richard Coy

Paul Coy

 

Other publications of authors with the same name

Sichtweisen der Informatik., , , , and . Theorie der Informatik Vieweg, (1992)Softwareerstellung zwischen formalen Methoden und arbeitsorientierter Gestaltung - Eine Curriculardebatte., and . Menschengerechte Software als Wettbewerbsfaktor, volume 40 of Berichte des German Chapter of the ACM, page 131-139. Teubner, (1993)Universelle Klassen O(log(MN))-testbarer iterativer und sequentieller Schaltungen.. GI Jahrestagung, volume 34 of Lecture Notes in Computer Science, page 534-544. Springer, (1975)Of Mice and Maze.. Elektronische Informationsverarbeitung und Kybernetik, 14 (5): 227-232 (1978)Eine einfach strukturierte Schaltwerk-Normalform mit niedriger Test-Komplexität., and . Elektronische Informationsverarbeitung und Kybernetik, 12 (11/12): 557-565 (1976)Der blinde Fleck der Wissenschaft.. FIFF Jahrestagung, page 215-217. agenda Verlag, (1994)The contest of faculties: Cybernetics vs. Informatik in German Universities.. History of Computing in Education, volume 145 of IFIP, page 17-26. Kluwer / Springer, (2004)Automata in Labyrinths.. FCT, volume 56 of Lecture Notes in Computer Science, page 65-71. Springer, (1977)"Film als Buch": Hyperdokumente zur Filmanalyse.. Hypertext und Hypermedia, volume 249 of Informatik-Fachberichte, page 278-286. Springer, (1990)Was ist Informatik?. Das ist Informatik, Springer, (2001)