Logiweb

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

Logiweb. / Grue, Klaus.

I: Electronic Notes in Theoretical Computer Science, Nr. 93, 2004, s. 70-101.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Grue, K 2004, 'Logiweb', Electronic Notes in Theoretical Computer Science, nr. 93, s. 70-101.

APA

Grue, K. (2004). Logiweb. Electronic Notes in Theoretical Computer Science, (93), 70-101.

Vancouver

Grue K. Logiweb. Electronic Notes in Theoretical Computer Science. 2004;(93):70-101.

Author

Grue, Klaus. / Logiweb. I: Electronic Notes in Theoretical Computer Science. 2004 ; Nr. 93. s. 70-101.

Bibtex

@article{b0b0c0a074c311dbbee902004c4f4f50,
title = "Logiweb",
abstract = "Logic, Proof Checker, Litterate Programming",
author = "Klaus Grue",
year = "2004",
language = "English",
pages = "70--101",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "93",

}

RIS

TY - JOUR

T1 - Logiweb

AU - Grue, Klaus

PY - 2004

Y1 - 2004

N2 - Logic, Proof Checker, Litterate Programming

AB - Logic, Proof Checker, Litterate Programming

M3 - Journal article

SP - 70

EP - 101

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 93

ER -

ID: 99820