Skip to search form
Skip to main content
Semantic Scholar's Logo
You are currently offline. Some features of the site may not work correctly.
Plus is a "Pascal-like" system implementation language from the University of British Columbia (UBC), Canada, based on the SUE system language…
Comparison of programming languages
History of software
Semantic Scholar uses AI to extract papers important to this topic.
Corpus ID: 52956888
Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers. We presented an earlier version at ACL2'2015…
Elaboracion e implementacion de la gestion de produccion y del mantenimiento en la empresa aceros estructurales ubc s.a.c.
Corpus ID: 191627057
The objective of this research was to establish essential tools for planning and control for the development and implementation…
Pos-modernidade e a negacao da infancia ( Post-modernity and the denial of the childhood )
L. G. Lima
Corpus ID: 144912961
The way that childhood’s concept has been developed may constitute an excellent projection of the values system and aspirations…
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Terms of Service
ACCEPT & CONTINUE