Yazar

sakai k

20 cilt bulundu.

Cilt sonuçları

Topology of Infinite-Dimensional Manifolds

Katsuro Sakai · Springer Nature

631 sayfa · 2020-11-21

Mathematics

Geometric Aspects of General Topology

Katsuro Sakai · Springer Nature

764 sayfa · 2026-01-27

Mathematics

The Theory of W*-algebras

Shôichirô Sakai · Yayınevi bilinmiyor

492 sayfa · 1962

C*-algebras

Learning to Teach in Two Cultures

Nobuo K. Shimahara, Akira Sakai · Routledge

275 sayfa · 2018-10-09

Education

Nonlinear Dynamics and Chaos in Agricultural Systems

K. Sakai · Gulf Professional Publishing

224 sayfa · 2001-06-21

Nature

Usagi Yojimbo Volume 23

Stan Sakai · Dark Horse Comics

250 sayfa · 2016-04-13

Comics & Graphic Novels

CiltAn Operating System for Sequential Inference Machine PSI.Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), A. Kurokawa, K. Sakai, J. Tsuji, T. Chikayama, S. Takagi, T. Yokoi

An Operating System for Sequential Inference Machine PSI.

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), A. Kurokawa, K. Sakai, J. Tsuji, T. Chikayama, S. Takagi, T. Yokoi · Yayınevi bilinmiyor

17 sayfa · 1984

Kategori yok

Fifth generation computersPIM/kShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

PIM/k

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) · Yayınevi bilinmiyor

14 sayfa · 1992

Fifth generation computers

CiltIntroduction of negative knowledge into Prolog and program verificationShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, T. Miyachi

Introduction of negative knowledge into Prolog and program verification

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, T. Miyachi · Yayınevi bilinmiyor

Sayfa sayısı yok · 1983

Kategori yok

CiltSeveral Aspects on UnificationShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)., T. Adachi, M. Hagiya, T. Ida, T. Kasai, T. Kurokawa, T. Matsuda, K. Mukai, M. Nagata, K. Sakai, K. Ueda, H. Yasuura

Several Aspects on Unification

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)., T. Adachi, M. Hagiya, T. Ida, T. Kasai, T. Kurokawa, T. Matsuda, K. Mukai, M. Nagata, K. Sakai, K. Ueda, H. Yasuura · Yayınevi bilinmiyor

Sayfa sayısı yok · 1984

Kategori yok

CiltSolving Constraints Over Sets by Boolean Groebner BasesShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Y. Sato, S. Menju, K. Sakai

Solving Constraints Over Sets by Boolean Groebner Bases

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Y. Sato, S. Menju, K. Sakai · Yayınevi bilinmiyor

Sayfa sayısı yok · 1991

Kategori yok

CiltBoolean Groebner BasesShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, Y. Satoh, S. Menju

Boolean Groebner Bases

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, Y. Satoh, S. Menju · Yayınevi bilinmiyor

Sayfa sayısı yok · 1991

Kategori yok

CiltOverall Design of SIMPOS (Sequential Inference Machine Programming and Operating System).Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), S. Takagi, T. Yokoi, S. Uchida, T. Kurokawa, T. Hattori, T. Chikayama, K. Sakai, J. Tsuji

Overall Design of SIMPOS (Sequential Inference Machine Programming and Operating System).

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), S. Takagi, T. Yokoi, S. Uchida, T. Kurokawa, T. Hattori, T. Chikayama, K. Sakai, J. Tsuji · Yayınevi bilinmiyor

Sayfa sayısı yok · 1984

Kategori yok

CiltAn Ordering Method for Term Rewriting SystemsShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai

An Ordering Method for Term Rewriting Systems

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai · Yayınevi bilinmiyor

14 sayfa · 1984

Kategori yok

CiltToward Mechanization of Mathematics - Proof Checker and Term Rewriting SystemShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai

Toward Mechanization of Mathematics - Proof Checker and Term Rewriting System

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai · Yayınevi bilinmiyor

Sayfa sayısı yok · 1988

Kategori yok

CiltKnuth-Bendix Algorithm for Thue System Based on Kachinuki OrderingShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai

Knuth-Bendix Algorithm for Thue System Based on Kachinuki Ordering

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai · Yayınevi bilinmiyor

10 sayfa · 1984

Kategori yok

Artificial intelligenceDeductive Database System Based on Unit ResolutionHaruo Yokota, Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, Hidenori Itoh

Deductive Database System Based on Unit Resolution

Haruo Yokota, Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), K. Sakai, Hidenori Itoh · Yayınevi bilinmiyor

14 sayfa · 1985

Artificial intelligence

Fifth generation computersThe Unique Features of PIM KShigehiro Asano, Shouzou Isobe, Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Hiroshi Sakai

The Unique Features of PIM K

Shigehiro Asano, Shouzou Isobe, Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Hiroshi Sakai · Yayınevi bilinmiyor

15 sayfa · 1992

Fifth generation computers

CrustaceaSynopsis of the Family Callianassidae, with Keys to Subfamilies, Genera and Species, and the Description of New Taxa (Crustacea: Decapoda: Thalassinidea)K. Sakai

Synopsis of the Family Callianassidae, with Keys to Subfamilies, Genera and Species, and the Description of New Taxa (Crustacea: Decapoda: Thalassinidea)

K. Sakai · Yayınevi bilinmiyor

152 sayfa · 1999

Crustacea

CiltDesign and Implementation of a Two-way Merge-sorter and Its Application to Relational Database ProcessingShin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Kazuhide Iwata, S. Kamiya, H. Sakai, S. Matsuda, S. Shibayama, K. Murakami

Design and Implementation of a Two-way Merge-sorter and Its Application to Relational Database Processing

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan), Kazuhide Iwata, S. Kamiya, H. Sakai, S. Matsuda, S. Shibayama, K. Murakami · Yayınevi bilinmiyor

16 sayfa · 1984

Kategori yok