Zum Inhalt springen

  1. Snyers, Dominique [VerfasserIn] ; Thayse, André [Sonstige Person, Familie und Körperschaft]

    From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1987

    Erschienen in: Lecture notes in computer science ; 271

  2. Thayse, André [VerfasserIn]

    P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1984 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 17500

  3. Snyers, Dominique [VerfasserIn]; Thayse, André [VerfasserIn]

    From logic design to logic programming : theorem proving techniques and P-functions

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1987 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 27100

  4. THAYSE, ANDRE

    Review of: “DIAGNOSTIC DES PANNES DANS LES SYSTEMES: APPROCHE PAR LA RECONNAISSANCE DES FORMES”(System Failure Diagnostics Using Pattern Recognition Techniques) by L.. F. Pau, Cepadues-Editions, Toulouse, France, 1975. 207 pp

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Informa UK Limited, 1978

    Erschienen in: International Journal of General Systems