CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
An equality theorem prover based on grammar rewriting
Author
Batzoglou Serafim
Publication venue
Massachusetts Institute of Technology
Publication date
01/01/1996
Field of study
Get PDF
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.Includes bibliographical references (p. 61-62).by Serafim Batzoglou.M.Eng
DSpace@MIT
Wissenschaftlich-technischer Jahresbericht 1990
Author
Deutsches Forschungszentrum für Künstliche Intelligenz
Publication venue
Sonstige Einrichtungen. DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Publication date
01/01/1991
Field of study
Get PDF
Wissenschaftlich-technischer Jahresbericht 1990
Author
Publication venue
Publication date
01/01/1991
Field of study
Get PDF
Acronym
Wissenschaftlich-technischer Jahresbericht 1990
Author
ÇİĞDEM BEKTAŞ
Publication venue
Publication date
01/01/1991
Field of study
Get PDF
Fırat Üniversitesi Kurumsal Açık Arşiv
Acronym