scientific article
From MaRDI portal
Publication:2778865
zbMATH Open0981.68580MaRDI QIDQ2778865
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510001
Title of this publication is not available (Why is that?)
Computing methodologies and applications (68U99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42)
Related Items (3)
Title not available (Why is that?) ⋮ Theorem proving method and the computer science ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2778865)
