| Document Date: 2006-09-27 08:42:21 Open Document File Size: 307,42 KBShare Result on Facebook
City Bremen / / Company Graphical User Interface Text / / Country Germany / / Facility The University of Edinburgh / / IndustryTerm contemporary systems / software framework / arbitrary external tools / interface technology / proof search / software development / / OperatingSystem Unix / / Organization U.K. Department of Mathematics and Computer Science / Department of Computer Science / University of Edinburgh / School of Informatics / / Person IDE PGIP / IDE PGIP PGIP PGIP / Nat / Prover / / Position author / Editor / Proof Document Broker / Proof General / broker / PG Kit Architecture The Proof General / text editor / tool Broker / proof assistant / Backflow Proof Assistant / / ProgrammingLanguage LATEX / L / / Technology XML / Unix / PGIP protocol / HTML / PDF / interface technology / GUI / usual PGIP protocol / /
SocialTag |