Search Results - Marek, Wiktor

Victor W. Marek

Victor Witold Marek, formerly Wiktor Witold Marek known as Witek Marek (born 22 March 1943) is a Polish mathematician and computer scientist working in the fields of theoretical computer science and mathematical logic. Provided by Wikipedia
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Elements of logic and foundations of mathematics in problems / by Marek, Wiktor

    Published 1982
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Introduction to mathematics of satisfiability / by Marek, Wiktor

    Published 2009
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings /

    Published 1995
    Other Authors: “…Marek, Wiktor…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /

    Published 1976
    Other Authors: “…Marek, Wiktor…”
    Conference Proceeding Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /

    Published 1976
    Other Authors: “…Marek, Wiktor…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search