• No shipping costs from € 15, -
  • Lists and tips from our own specialists
  • Possibility of ordering without an account
  • No shipping costs from € 15, -
  • Lists and tips from our own specialists
  • Possibility of ordering without an account
0
checkout
0
checkout
  1. Home
  2. Combinatorics and graph theory
  3. Formalizing Finite Set Combinatorics in Type Theory

Formalizing Finite Set Combinatorics in Type Theory

Abhishek Kr Singh

Formalizing Finite Set Combinatorics in Type Theory
Formalizing Finite Set Combinatorics in Type Theory

Formalizing Finite Set Combinatorics in Type Theory

Abhishek Kr Singh

Paperback | English
  • Available, delivery time is 10-15 working days
  • Not in stock in our shop
€34.50
  • From €15,- no shipping costs.
  • 30 days to change your mind and return physical products

Description

Specifications

  • Publisher
    Mohammed Abdul Sattar
  • Pub date
    Dec 2023
  • Pages
    116
  • Theme
    Combinatorics and graph theory
  • Dimensions
    279 x 216 x 6 mm
  • Weight
    286 gram
  • EAN
    9798223614104
  • Paperback
    Paperback
  • Language
    English

related products

Brooks' Theorem

Brooks' Theorem

Michael Stiebitz
€197.95
Sudoku For Teens And Adults

Sudoku For Teens And Adults

Chroma Publishing
€12.95
Fuzzy Graph Theory

Fuzzy Graph Theory

John N. Mordeson
€171.50
Skripte zur Mathematik - Stochastik

Skripte zur Mathematik - Stochastik

Christian , Wyss
€54.00
Skripte zur Mathematik - Stochastik

Skripte zur Mathematik - Stochastik

Christian , Wyss
€49.00
Fundamentals of Abstract Algebra

Fundamentals of Abstract Algebra

Mark J. DeBonis
€197.95