Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn

Research output: Book/ReportAnthology

Original languageEnglish
PublisherKluwer Academic Publishers
Number of pages236
Volume29
Publication statusPublished - 2002

Cite this

@book{5e04b08c632f410681efaa89c62048a5,
title = "Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn",
author = "Kamareddine, {Fairouz Dib}",
year = "2002",
language = "English",
volume = "29",
publisher = "Kluwer Academic Publishers",
address = "Netherlands",

}

Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn. / Kamareddine, Fairouz Dib.

Kluwer Academic Publishers, 2002. 236 p.

Research output: Book/ReportAnthology

TY - BOOK

T1 - Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn

AU - Kamareddine, Fairouz Dib

PY - 2002

Y1 - 2002

M3 - Anthology

VL - 29

BT - Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn

PB - Kluwer Academic Publishers

ER -