The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Mechanization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1956-1968 (15) 1970-1985 (15) 1986-1992 (15) 1993-1999 (16) 2000-2002 (16) 2003-2005 (23) 2006-2007 (19) 2008-2012 (16) 2013-2017 (15) 2018-2021 (18) 2022-2024 (6)
Publication types (Num. hits)
article(65) incollection(3) inproceedings(99) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 44 keywords

Results
Found 174 publication records. Showing 174 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Zhenbing Zeng, Meijing Shan Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Heilbronn triangular problem, nonlinear programming problem, semi-mechanization method, combinatorial geometry
84Milos Besta, Frank A. Stomp Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
80Na Jia, Changle Pang, Zhuomao E Study on Expert System for Towed Water-saving Irrigation Mechanization Technology. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF water-saving irrigation, towed watersaving irrigation mechanization technology, artificial intelligence, expert system
69Milos Besta, Frank A. Stomp A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal methods, pattern matching, theorem proving, PVS
65Wenjun Wu 0003, Xiao-Shan Gao Mathematics mechanization and applications after thirty years. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mathematics mechanization, characteristic set method, automated theorem discovering, symbolic equation solving, intelligent computer-aided design, computer vision, robotics, automated theorem proving, computer aided geometric design
58Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun Intrinsic Differential Geometry with Geometric Calculus. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra
42Kui Zhou, Ding Feng 0001, Chaobin Huang, Peng Wang, Jin Liu, Shouyong Li Intelligent Robot Manipulator's Application in the Racking of Drill Pipe. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Drill pipe, Manipulator, Mechanization, Intelligent robot
42Hongbo Li 0012, Ronghua Xu, Ning Zhang On Miquel's Five-Circle Theorem. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
38Dominique Bolignano Towards a Mechanization of Cryptographic Protocal Verification. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Manfred Kerber, Michael Kohlhase A Mechanization of Strong Kleene Logic for Partial Functions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Roger H. Simonsen, D. Louise Anketell Mechanization of the curve fitting process: DATAN. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
31Richard D. Patton, Peter C. Patton What Can Be Automated? What Cannot Be Automated?. Search on Bibsonomy Handbook of Automation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Martin Hepp, Frank Leymann, John Domingue, Alexander Wahler, Dieter Fensel Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. Search on Bibsonomy ICEBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Sidi O. Ehmety, Lawrence C. Paulson Program Composition in Isabelle/UNITY. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program composition, universal and existential properties, UNITY, Isabelle
31Robert Paige Transformational Programming - Applications to Algorithms and Systems. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
31L. S. Baumann, R. D. Coop Automated workflow control: a key to office productivity. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
31Saul Gorn Summary remarks. Search on Bibsonomy Commun. ACM The full citation details ... 1964 DBLP  DOI  BibTeX  RDF
27Ned Chapin Symbolic analysis methods for information systems. Search on Bibsonomy Commun. ACM The full citation details ... 1961 DBLP  DOI  BibTeX  RDF application mechanization, formalized analysis techniques, symbolic analysis methods, systems automation, information systems, system design, system analysis, data processing
23Noé De Santo, Aurèle Barrière, Clément Pit-Claudel A Coq Mechanization of JavaScript Regular Expression Semantics. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Ende Jin, Nada Amin, Yizhou Zhang 0001 Extensible Metatheory Mechanization via Family Polymorphism. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Matthew Cobb The Representation of Knowledge and the Relevance of Biological Models at the Symposium on the Mechanization of Thought Processes, 1958. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Niklas Heidler Mechanization of LAGC Semantics in Isabelle. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
23Miguel Pagano, José E. Solsona Nominal Sets in Agda - A Fresh and Immature Mechanization. Search on Bibsonomy LSFA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart Mechanization of a Large DSML: An Experiment with AADL and Coq. Search on Bibsonomy MEMOCODE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Qiangwen Fu, Qi Zhou, Gongmin Yan, Sihai Li, Feng Wu Unified All-Earth Navigation Mechanization and Virtual Polar Region Technology. Search on Bibsonomy IEEE Trans. Instrum. Meas. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Jian Chen, Xiaohua Chen, Qingyan Zeng, Ishbir Singh, Amit Sharma Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set. Search on Bibsonomy Int. J. Agric. Environ. Inf. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Pascal Schreck, Nicolas Magaud, David Braun Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. Search on Bibsonomy ADG The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Lubin Chang, Jingbo Di, Fangjun Qin Inertial based Integration with Transformed INS Mechanization in Earth Frame. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Xiao-Shan Gao New Developments of Mathematics Mechanization. Search on Bibsonomy ISSAC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Momtaz Isaak, Azmi Yahya, Muhammad Razif, Nazmi Mat Mechanization status based on machinery utilization and workers' workload in sweet corn cultivation in Malaysia. Search on Bibsonomy Comput. Electron. Agric. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Alejandro Gadea, Emmanuel Gunther, Miguel Pagano Mechanization of coherence and adequacy: Being extrinsic extended to subtyping. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Shunei Norikumo History of Mechanization and Organizational Change in the Life Insurance Industry in Japan (Examples from Dai-ichi Life, Nippon Life, Imperial Life, Meiji Life). Search on Bibsonomy KES-IDT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Mehdi Eskandarzade, R. M. Chandima Ratnayake, Meysam Najafi Ershadi Mechanization of Qualitative Risk Based Inspection Analysis. Search on Bibsonomy IEEM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23 International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization. Search on Bibsonomy ACM Commun. Comput. Algebra The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Tuhin Sengupta, Gopalakrishnan Narayanamurthy, Roger Moser 0001, Pradeep Kumar Hota Sharing app for farm mechanization: Gold Farm's digitized access based solution for financially constrained farmers. Search on Bibsonomy Comput. Ind. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Pascal Schreck On the Mechanization of Straightedge and Compass Constructions. Search on Bibsonomy J. Syst. Sci. Complex. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf Mechanization of Separation in Generic Extensions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
23Jared Moore The Price of Mechanization: Vonnegut's Player Piano in the 2010s [Review Essay]. Search on Bibsonomy IEEE Technol. Soc. Mag. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev Bar-Hillel Theorem Mechanization in Coq. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Shunei Norikumo Changes in Organizations Due to Management Mechanization (Case Studies of Life Insurance Companies in Japan). Search on Bibsonomy KES-IDT (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Xiaoqiang Wu, Ruican Hao Thinking on the C Language Teaching Method for the Major of Agricultural Mechanization Engineering. Search on Bibsonomy eLEOT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Anthony Matthews The operation and mechanization of the hemispherical resonator gyroscope. Search on Bibsonomy PLANS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Laila Seewang Mechanization Takes Command: A Contribution to Anonymous History. Sigfried Giedion. Minneapolis, MN: University of Minnesota Press, 2013, 785 pp. $29.95 (softcover) (ISBN: 9780816690435). Search on Bibsonomy J. Assoc. Inf. Sci. Technol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Guillaume Allais Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Wenchao Gao, Xiaoming Xu, Lisheng Xu, Pu Liu, Tian Gao A fast nonlinear placement algorithm to improve agricultural mechanization. Search on Bibsonomy Agro-Geoinformatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Kuen-Bang Hou (Favonia) Higher-Dimensional Types in the Mechanization of Homotopy Theory. Search on Bibsonomy 2017   DOI  RDF
23Rachida Khaled, Lamine Hammas Technological Innovation and the Agricultural Sustainability: What Compatibility for the Mechanization? Search on Bibsonomy Int. J. Innov. Digit. Econ. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
23Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Avraham Shinnar, Jérôme Siméon, Martin Hirzel A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology. Search on Bibsonomy ES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Avraham Shinnar, Jérôme Siméon, Martin Hirzel A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. Search on Bibsonomy ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Benjamin Selfridge An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Timothy Bourke Mechanization of the Algebra for Wireless Networks (AWN). Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2014 DBLP  BibTeX  RDF
23Qing Dong, Min-li Yang Design and Implementation of WeChat Public Service Platform for the China Research Center for Agricultural Mechanization Development, CAU. Search on Bibsonomy CCTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23A. M. N. D. B. Seneviratne, R. M. Chandima Ratnayake Use of MCDM and AI Techniques for Mechanization of In-Service Inspection Planning Process. Search on Bibsonomy APMS (3) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Christoph Benzmüller, Bruno Woltzenlogel Paleo Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
23Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler Run your research: on the effectiveness of lightweight mechanization. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Markus Kleinert, Christian Ascher, Uwe Stilla Comparison of inertial mechanization approaches for inertial aided monocular EKF-SLAM. Search on Bibsonomy FUSION The full citation details ... 2012 DBLP  BibTeX  RDF
23Eli Banks Liberato da Costa Charles Babbage (1791-1871) and the mechanization of calculus: from the gears to the thinking machine (Charles Babbage (1791-1871) e a mecanização do cálculo: das engrenagens à máquina de pensar). Search on Bibsonomy 2012   RDF
23Ruili Wang, Yulong Zhang 0002, Yi Huang, Fenglan Wei, Xuewei Bai, E. Liu Mechanization of deep tillage and mulching to improve soil water content and spring maize yield. Search on Bibsonomy EMEIT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Jieung Kim, Sukyoung Ryu Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Wilmer Ricciotti Theoretical and implementation aspects in the mechanization of the metatheory of programming languages. Search on Bibsonomy 2011   RDF
23Marc Bezem, Dimitri Hendriks On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
23Daniel Lesnic, C. Zhao Algorithmization and mechanization of the Cauchy problem associated with the plate equation. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23H. M. Habib, E. R. El-Zahar An algorithm for solving singular perturbation problems with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Mamoun Filali A Mechanization of Phylogenetic Trees. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
23Weiming Wang An algorithm for solving the high-order nonlinear Volterra-Fredholm integro-differential equation with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Caidi Zhao Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Jon Doyle On Mechanization of Thought Processes (Extended Abstract). Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
23Weiming Wang, Changsheng Lin A new algorithm for integral of trigonometric functions with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Zhenqing Li, Weiming Wang Mechanization for solving SPP by reducing order method. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Caidi Zhao Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Weiming Wang An algorithm for solving nonlinear singular perturbation problems with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Weiming Wang 0001, Xinze Lian Computations of multi-resultant with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Weiming Wang An algorithm for solving DAEs with mechanization. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Caidi Zhao Algorithm and mechanization to Cauchy problem of parabolic equation. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Panagiotis Manolios, Daron Vroon 0001 Ordinal Arithmetic: Algorithms and Mechanization. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated reasoning, arithmetic, ACL2, ordinal
23Minli Yang, Feng Yang, Lijuan Shi, Jieqiang Zhuo Study on Web-Based Agricultural Mechanization Decision Support System. Search on Bibsonomy AIAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Gualtiero Piccinini Jean-Pierre Dupuy, The Mechanization of Mind: On the Origins of Cognitive Science. Search on Bibsonomy Minds Mach. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23J. Christian Attiogbé Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Soliman A. Edress, El-Sayed A. Al-Azhry, Yasser Abdelhamid Decision Support System for Establishing Agricultural Mechanization Units. Search on Bibsonomy Egypt. Comput. Sci. J. The full citation details ... 2001 DBLP  BibTeX  RDF
23Ezequiel A. Di Paolo The Mechanization of the Mind: On the Origins of Cognitive Science, Stefan Wermter (Ed.), Jean-Pierre Dupuy, translated by M.B. DeBevoise, Princeton University Press, 2000, $29.95 / £19.95, 240 pp. ISBN: 0-691-02574-6. Search on Bibsonomy Cogn. Syst. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Céline Mariage, Jean Vanderdonckt Mechanization of web design guidelines evaluation. Search on Bibsonomy HCI The full citation details ... 2001 DBLP  BibTeX  RDF
23Carlos Gustavo Guerra The Mechanization of Intelligence and the Human Aspects of Music. Search on Bibsonomy Readings in Music and Artificial Intelligence The full citation details ... 2000 DBLP  BibTeX  RDF
23Jacques D. Fleuriot On the Mechanization of Real Analysis in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23David M. Goldschlag A Mechanization of Unity in PC-NQTHM-92. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23César A. Muñoz, John M. Rushby Structural Embeddings: Mechanization with Method. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Stéphane Demri Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23James F. Peters III Mechanization of Real-Time Linear CSP with Higher Order Logic. Search on Bibsonomy Fundam. Informaticae The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Ricardo Caferra Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Odile Hermann Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre. (Mechanization of proof search for program synthesis in the second order functional arithmetic). Search on Bibsonomy 1995   RDF
23Michael Kohlhase A mechanization of sorted higher-order logic based on the resolution principle. Search on Bibsonomy 1994   RDF
23Zongming Fei, Jian Lu 0001 An Approach Toward Mechanization of Acquiring Reusable Software Components. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Yukinobu Tokunaga History and current state of postal mechanization in Japan. Search on Bibsonomy Pattern Recognit. Lett. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23David Zhu, Jean-Claude Latombe Mechanization of spatial reasoning for automatic pipe layout design. Search on Bibsonomy Artif. Intell. Eng. Des. Anal. Manuf. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
23Alan F. McMichael Mechanization of Analytic Reasoning About Sets. Search on Bibsonomy AAAI The full citation details ... 1991 DBLP  BibTeX  RDF
23Guillermo Arango Practical KBSE =3D Knowledge + Reuse + Mechanization. Search on Bibsonomy SCAI The full citation details ... 1989 DBLP  BibTeX  RDF
23Alexandre Bronstein MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits. Search on Bibsonomy 1989   RDF
23Andrew Ireland Mechanization of program construction in Martin-Loef's theory of types. Search on Bibsonomy 1989   RDF
Displaying result #1 - #100 of 174 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license