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 - 9 results of 9 for search 'Marek, Wiktor', query time: 0.12s Refine Results
  1. 1
    Elements of logic and foundations of mathematics in problems /
    by Marek, Wiktor
    Published 1982
    Book
  2. 2
    Nonmonotonic logic : context-dependent reasoning /
    by Marek, Wiktor
    Published 1993
    Book
  3. 3
    Introduction to mathematics of satisfiability /
    by Marek, Wiktor
    Published 2009
    Book
  4. 4
    Introduction to mathematics of satisfiability /
    by Marek, Wiktor
    Published 2009
    Get full text
    eBook
  5. 5
    Logic programming and non-monotonic reasoning : proceedings of the first international workshop /
    Published 1991
    Other Authors: “...Marek, Wiktor...”
    Book
  6. 6
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings /
    Published 1995
    Other Authors: “...Marek, Wiktor...”
    Conference Proceeding Book
  7. 7
    Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] /
    Published 1976
    Other Authors: “...Marek, Wiktor...”
    Conference Proceeding Book
  8. 8
    Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /
    Published 1976
    Other Authors: “...Marek, Wiktor...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 9
    Andrzej Mostowski and foundational studies /
    Published 2008
    Other Authors: “...Marek, Wiktor...”
    Book
Search Tools: RSS Feed – Email Search