|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
Results
Found 362 publication records. Showing 297 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Song Chen, De-Yin Jeng, Hironori Hadano, Yoshiaki Ishiguro, Masakatsu Nakayama, Kenzo Watanabe |
A Nasicon CO2 gas sensor with drift-detection electrode. |
IEEE Trans. Instrum. Meas. |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Seiji Oda, Mitsuyoshi Anzai, Shoichi Uematsu, Kenzo Watanabe |
A silicon micromachined flow sensor using thermopiles for heat transfer measurements. |
IEEE Trans. Instrum. Meas. |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Daigo Fujiwara, Jinok Shin, Kensaku Hazawa, Kazuhiro Igarashi, Dilshan Fernando, Kenzo Nonami |
Autonomous Flight Control of Unmanned Small Hobby-Class Helicopter Report 1: Hardware Development and Verification Experiments of Autonomous Flight Control System. |
J. Robotics Mechatronics |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Kensaku Hazawa, Jinok Shin, Daigo Fujiwara, Kazuhiro Igarashi, Dilshan Fernando, Kenzo Nonami |
Autonomous Flight Control of Unmanned Small Hobby-Class Helicopter Report 2: Modeling Based on Experimental Identification and Autonomous Flight Control Experiments. |
J. Robotics Mechatronics |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Takashi Kurashina, Satomi Ogawa, Kenzo Watanabe |
A CMOS Rail-to-Rail Current Conveyer and Its Applications to Current-Mode Filters. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2003 |
DBLP BibTeX RDF |
|
24 | Mitsuo Hirata, Masatoshi Takiguchi, Kenzo Nonami |
Track-following control of hard disk drives using multi-rate sampled-data H∞ control. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Selim Sivrioglu, Kenzo Nonami |
Adaptive output backstepping control of a flywheel zero-bias AMB system with parameter uncertainty. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Obata, Kentaro Noguchi, Yoshiaki Tadokoro |
A new sound source location algorithm based on formant frequency for sound image localization. |
ICME |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Masahiko Nakamoto, Yoshinobu Sato, Nobuhiko Sugano, Toshihiko Sasama, Takashi Nishii, Pyohg Sik Pak, Kenzo Akaszawa, Yukio Tada, Hideki Yoshikawa, Shinichi Tamura |
Automated CT-based 3D surgical planning for total hip replacement: a pilot study. |
CARS |
2003 |
DBLP BibTeX RDF |
|
24 | Qingjiu Huang, Kenzo Nonami |
Neuro-Based Position and Force Hybrid Control of Six-Legged Walking Robot. |
J. Robotics Mechatronics |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Takashi Kurashina, Satomi Ogawa, Kenzo Watanabe |
A CMOS Rail-to-Rail Current Conveyor. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
24 | Yukihiro Ohta, Chika Watanabe, Kenzo Watanabe |
A Zero-Voltage-Switching Quasi-Resonant Flyback and Forward Composite DC-DC Converter. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
24 | Nobuyuki Nishiuchi, Hajime Takada, Kenzo Kurihara |
A human interface using line of sight and aspect of the face. |
SMC |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Satomi Ogawa, Yukata Oisugi, Kouiki Mochizuki, Kenzo Watanabe |
A switched-capacitor interface for differential capacitance transducers. |
IEEE Trans. Instrum. Meas. |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Lei Wang, Yasunori Fukatsu, Kenzo Watanabe |
Characterization of current-mode CMOS R-2R ladder digital-to-analog converters. |
IEEE Trans. Instrum. Meas. |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Hameida Sayoud, Kenzo Takahashi, Benoît Vaillant |
A genetic local tuning algorithm for a class of combinatorial networks design problems. |
IEEE Commun. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Nobuhiro Shimoi, Yoshihiro Takita, Kenzo Nonami, Katsumi Wasaki |
Smart sensing for mine detection studies with IR cameras. |
CIRA |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Watanabe, Tomuo Yamaguchi, Masakatsu Nakayama, Yi-Zhu Gao, Tadashi Nagasawa, Taiyo Ozawa |
A high-sensitivity particle monitor using an integration sphere. |
IEEE Trans. Instrum. Meas. |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Yili Liu, Song Chen, Masakatsu Nakayama, Kenzo Watanabe |
Limitations of a relaxation oscillator in capacitance measurements. |
IEEE Trans. Instrum. Meas. |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Kazuo Machida, Hirotaka Nishida, Kenzo Akita |
Development and Space Operation of Advanced Robotic Hand System. |
J. Robotics Mechatronics |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Nobuto Matsuhira, Makoto Asakura, Yasuo Shinomiya, Kazuo Machida, Kazuo Tanie, Kenzo Akita |
A wire-handling experiment using a teleoperated advanced robotic hand on ETS-VII. |
Adv. Robotics |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Nonami, Nobuhiro Shimoi, Qing J. Huang, Daisuke Komizo, Hiroaki Uchida |
Development of teleoperated six-legged walking robot for mine detection and mapping of mine field. |
IROS |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Takanori Uchiyama, Kenzo Akazawa |
Neural Network Model for Muscle Force Control Based on the Size Principle and Recurrent Inhibition of Renshaw Cells. |
ANNIMAB |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Nobuyuki Nishiuchi, Kenzo Kurihara, Shingo Sakai, Hajime Takada |
A man-machine interface for camera control in remote monitoring using line-of-sight. |
SMC |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Kurihara, Seizo Takigawa, Nobuyuki Nishiuchi |
New structured and hierarchical network model for designing FA control system. |
SMC |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Fujii, Toru Yamamoto, Masahiro Kaneda |
Cyclic one-spot tuning pid control of an atmospheric distillation process. |
ECC |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Kotani, Seiichi Ozawa, Masaki Nakai, Kenzo Akazawa |
Emergence of feature extraction function using genetic programming. |
KES |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Kotani, Yasunobu Shirata, Satoshi Maekawa, Seiichi Ozawa, Kenzo Akazawa |
Application of independent component analysis to feature extraction of speech. |
IJCNN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Gabriel Preda, Radu C. Popa, Kazuyuki Demachi, Kenzo Miya |
Neural network for inverse mapping in eddy current testing. |
IJCNN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Kouji Mochizuki, Kenzo Watanabe, Takashi Masuda, Motoyasu Katsura |
A relaxation-oscillator-based interface for high-accuracy ratiometric signal processing of differential-capacitance transducers. |
IEEE Trans. Instrum. Meas. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Kouji Mochizuki, Kenzo Watanabe, Takashi Masuda |
A high-accuracy high-speed signal processing circuit of differential-capacitance transducers. |
IEEE Trans. Instrum. Meas. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Kouji Mochizuki, Takashi Masuda, Kenzo Watanabe |
An interface circuit for high-accuracy signal processing of differential-capacitance transducers. |
IEEE Trans. Instrum. Meas. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Tomohide Naniwa, Suguru Arimoto, Kenzo Wada |
A learning control method for coordination of multiple manipulators holding a geometrically constrained object. |
Adv. Robotics |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Masaji Tanaka, Kenzo Iwama, Atsushi Hosoda, Tohru Watanabe |
Decomposition of a 2D assembly drawing into 3D part drawings. |
Comput. Aided Des. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Takashi Kurashina, Satomi Ogawa, Kenzo Watanabe |
A high performance class AB current conveyor. |
ICECS |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Kotani, Naoki Shiba, Kenzo Akazawa |
Application of Evolved Neural Networks to Real World Task. |
ICONIP |
1998 |
DBLP BibTeX RDF |
|
24 | Tomohide Naniwa, Suguru Arimoto, Kenzo Wada |
Learning and adaptive controls for coordination of multiple manipulators without knowing physical parameters of an object. |
ICRA |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Tomohide Naniwa, Suguru Arimoto, Kenzo Wada |
Learning and adaptive controls for communication of multiple manipulators holding a geometrically constrained object. |
IROS |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Kazuo Taki, Bu-Yeol Lee, Hideki Tanaka, Kenzo Konishi |
Super low power 8-bit CPU with pass-transistor logic. |
ASP-DAC |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh, Masahide Mizushima |
Environmental noise reduction based on speech/non-speech identification for hearing aids. |
ICASSP |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Keisuke Kameyama, Kenzo Mori, Yukio Kosugi |
A neural network incorporating adaptive Gabor filters for image texture classification. |
ICNN |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Kotani, Akihiro Kajiki, Kenzo Akazawa |
A structural learning algorithm for multi-layered neural networks. |
ICNN |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Nonami, Takayuki Ito 0002 |
μ synthesis of flexible rotor-magnetic bearing systems. |
IEEE Trans. Control. Syst. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Asif Sabanoviç, Karel Jezernik, Kenzo Wada |
Chattering-free sliding modes in robotic manipulators control. |
Robotica |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Kazuo Machida, Tatsuo Mikami, Satoru Komada, Kenzo Akita |
Precise EV robot: flight model and telerobotic operation for ETS-VII. |
IROS |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Hiroyoshi Watanabe, Kenzo Okuda, Shozo Fujiwara |
A Strategy for Forgetting Cases by Restricting Memory. |
IEICE Trans. Inf. Syst. |
1995 |
DBLP BibTeX RDF |
|
24 | Masahichi Kishi, Norihiro Hattori, Kenzo Urabe |
Application of the short time DFT correlator to the RAKE receiver for DS/SS communication system and its BER improvement effect. |
PIMRC |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Emil M. Petriu, Kenzo Watanabe, Tet Hin Yeap, Satomi Ogawa |
Neural Network Architecture Using Random-Pulse Data Processing. |
ISCAS |
1995 |
DBLP BibTeX RDF |
|
24 | Xuhua Yang, Takeshi Furuhashi, Kenzo Obata, Yoshiki Uchikawa |
Constructing a High Performance Signature Verification System Using a GA Method. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
Fuzzy Network, Feature Selection, GA, Signature Verification |
24 | Nobuyuki Kobayashi, Osamu Saito, Kenzo Nonami, Susumu Tohsya |
Attitude Control Algorithm for Free-Flying Space Robot (Cooperative Control of Feedforward and Feedback). |
J. Robotics Mechatronics |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Nonami, Qi-fu Fan |
Computer-Aided Control System Design and Control Performance for Active Vibration Control Systems Based on μ Synthesis Theory. |
J. Robotics Mechatronics |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Nonami |
Current Situation on Magnetic Levitation and Magnetic Bearing Control, and Control Theory. |
J. Robotics Mechatronics |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Keizo Ito, Kenzo Sato, Hideya Endo |
Cloning and characterization of a single-stranded DNA binding protein that specifically recognizes deoxycytidine stretch. |
Nucleic Acids Res. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh, Nobuhiko Kitawaki, Hiroshi Irii, Hiromi Nagabuchi |
A new artificial speech signal for objective quality evaluation of speech coding systems. |
IEEE Trans. Commun. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Isao Teshima, Masahiro Asano, Yohko Kamata, Kenzo Urabe, Hideichi Sasaoka |
Equalizer development for wide-band 16 QAM/TDMA in land mobile communications. |
PIMRC |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kazuo Hakoda, Tomohisa Hirokawa, Kenzo Itoh |
Speech editor based on enhanced user-system interaction for high quality text-to-speech synthesis. |
ICSLP |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh |
Correlation analysis between speech power and pitch frequency for twenty spoken languages. |
ICSLP |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh, Shin'ya Nakajima, Tomohisa Hirokawa |
A new waveform speech synthesis approach based on the COC speech spectrum. |
ICASSP (1) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Asif Sabanoviç, Kenzo Wada, Nadira Sabanovic |
Chattering free sliding modes in robotic manipulators control. |
IROS |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Mariko Sasakura, Naruki Mitsuda, Kenzo Iwama |
Defining actions by sample figures in CBAD. |
VL |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Akazawa |
Adaptability of Neuromuscular Motor Control System. |
J. Robotics Mechatronics |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Tomohisa Hirokawa, Kenzo Itoh, Hirokazu Sato |
High quality speech synthesis based on wavelet compilation of phoneme segments. |
ICSLP |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh, Tomohisa Hirokawa, Hirokazu Sato |
Segmental power control for Japanese speech synthesis. |
ICSLP |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Okuda, Katsuhiro Yamazaki |
An Application of Case-Based Reasoning for Fault Restoration Support in Electric Power Systems. |
IFIP Congress (3) |
1992 |
DBLP BibTeX RDF |
|
24 | Alice Salpeter, Mariko Sasakura, Kenzo Iwama, Satoshi Matsuoka |
Animation for on-Line Documents-an End-User System Using Object-Oriented Constraints. |
VL |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Nobuhiko Kitawaki, Kenzo Itoh |
Pure Delay Effects on Speech Quality in Telecommunications. |
IEEE J. Sel. Areas Commun. |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Takashi Kobayashi 0002, Kenzo Kurihara |
Performance Model of Interference Avoidance Policy Using Stochastic Petri Nets. |
PNPM |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Iwama |
A method of examining uniqueness in determining the directions of robotic motions on the basis of contact relationships in an assembly plan. |
IROS |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Hideto Ikeda, Fumio Kitagawa, Masaki Nakamura 0002, Kenzo Uchiyama |
INTERVISION: A New Hypermedia System Focusing on Dynamic Media. |
DASFAA |
1991 |
DBLP BibTeX RDF |
|
24 | Nobuhiko Kitawaki, Hiromi Nagabuchi, Masahiro Taka, Kenzo Takahashi |
Speech coding technology for ATM networks. |
IEEE Commun. Mag. |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Akazawa |
Neuromuscular control system and hardware models. |
Adv. Robotics |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Itoh, Hideyuki Mizuno, Tetsuya Nomura, Hirokazu Sato |
Phoneme segment concatenation and excitation control based on spectral distortion criterion for speech synthesis. |
ICSLP |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Hiroshi Irii, Kenzo Itoh, Nobuhiko Kitawaki |
Multilingual speech data base for evaluating quality of digitized speech. |
ICSLP |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Iwama, Anthony S. Maida |
Organizing and integrating edge segments for texture discrimination. |
J. Exp. Theor. Artif. Intell. |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Chiyoji Tanaka, Chikao Imamichi, Kenzo Kobayashi |
Practical Application of Expert Systems - Current Status and Future Prospects. |
J. Robotics Mechatronics |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Akazawa, Katsuo Nire, Katsuhiko Fujii |
Data compression of myoelectric signal - estimation of force and its long-term monitoring. |
Syst. Comput. Jpn. |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Takahashi |
Transmission quality of evolving telephone services. |
IEEE Commun. Mag. |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Nobuhiko Kitawaki, Hiromi Nagabuchi, Kenzo Itoh |
Objective quality evaluation for low-bit-rate speech coding systems. |
IEEE J. Sel. Areas Commun. |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Masayuki Inagawa, Takanobu Baba, Katsuhiro Yamazaki, Kenzo Okuda, Ken Ishikawa |
Unification parallelism for prolog processing. |
Syst. Comput. Jpn. |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Hideru Doi, Katsuhiro Yamazaki, Shousaku Ookawa, Takanobu Baba, Kenzo Okuda |
Fast processing of an object-oriented language by a low-level parallel computer munap. |
Syst. Comput. Jpn. |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Takanobu Baba, Hiroshi Minakawa, Kenzo Okuda |
A visual microprogramming system. |
MICRO |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Kenzo Akazawa, Katsuhiko Fujii |
Theory of muscle contraction and motor control. |
Adv. Robotics |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Katsuhiro Yamazaki, Hiroyuki Kanai, Takanobu Baba, Kenzo Okuda |
Architectural evaluation of a universal host computer munap. |
Syst. Comput. Jpn. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Takumi Ohtani, Takanobu Baba, Masayuki Inagawa, Takao Iwasaki, Kenzo Okuda, Katsuhiro Yamazaki |
Data Abstraction Technique for Relational Database Query Processing. |
Syst. Comput. Jpn. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Takanobu Baba, Shinzi Suzuki, Katsuhiro Yamazaki, Kenzo Okuda, Toshiyuki Sano |
Software testing system supported by a computer architecture. |
Syst. Comput. Jpn. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Katsuhiro Yamazaki, Takanobu Baba, Kenzo Okuda, Hiroyuki Kanai |
Architectural Evaluation and Improvement of a Universal Host Computer MUNAP. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
24 | Nobuhiko Kitawaki, Masaaki Honda, Kenzo Itoh |
Speech-quality assessment methods for speech-coding systems. |
IEEE Commun. Mag. |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Takanobu Baba, Mitsuru Ikeda, Katsuhiro Yamazaki, Kenzo Okuda |
Compaction of two-level microprograms for a multiprocessor computer. |
MICRO |
1984 |
DBLP BibTeX RDF |
|
24 | Takanobu Baba, Katsuhiro Yamazaki, Nobuyuki Hashimoto, Hiroyuki Kanai, Kenzo Okuda, Kazuhiko Hashimoto |
Hierarchical Micro-Architectures of a Two-Level Microprogrammed Multiprocessor Computer. |
ICPP |
1983 |
DBLP BibTeX RDF |
|
24 | Takanobu Baba, Ken Ishikawa, Kenzo Okuda |
A Two-Level Microprogrammed Multiprocessor Computer with Nonnumeric Functions. |
IEEE Trans. Computers |
1982 |
DBLP DOI BibTeX RDF |
two-level microprogramming, nonnumeric processing, parallel processing, multiprocessor, emulation, Database system, symbol manipulation, firmware |
24 | Nobuhiko Kitawaki, Kenzo Itoh, Masaaki Honda, Kazuhiko Kakehi |
Comparison of objective speech quality measures for voiceband CODECs. |
ICASSP |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Takanobu Baba, Ken Ishikawa, Kenzo Okuda, Hiroyuki Kobayashi |
MUNAP - A Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing. |
IFIP Congress |
1980 |
DBLP BibTeX RDF |
|
24 | James L. Flanagan, Kenzo Ishizaka, Kathleen L. Shipley |
Synthesis of speech from a dynamic model of the vocal cords and vocal tract. |
Bell Syst. Tech. J. |
1975 |
DBLP DOI BibTeX RDF |
|
23 | Jónathan Heras, Vico Pascual, Julio Rubio 0001 |
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Jesús Aransay, Clemens Ballarin, Julio Rubio 0001 |
A Mechanized Proof of the Basic Perturbation Lemma. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Homological algebra, Basic perturbation lemma, Isabelle |
23 | César Domínguez 0001 |
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
hidden algebras, symbolic computation, Coq proof assistant |
23 | Thierry Coquand, Arnaud Spiwack |
Towards Constructive Homological Algebra in Type Theory. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #297 of 297 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|