Search Results: 'hybrid logic'

Search

×
×
×
×
9 results for "hybrid logic"
A Hybrid Logical Framework By Jason Reed
Paperback: $9.60
Ships in 3-5 business days
PhD thesis of Jason Reed.
A Hybrid Logical Framework By Jason Reed
eBook (PDF): $0.00
Download immediately.
PhD thesis of Jason Reed.
A Hybrid Logical Framework [color] By Jason Reed
Paperback: $38.70
Ships in 3-5 business days
PhD thesis of Jason Reed.
A Hybrid Logical Framework [color] By Jason Reed
eBook (PDF): $0.00
Download immediately.
PhD thesis of Jason Reed.
Multi-Structure Logics By Matt Insall
Hardcover: $38.94
Ships in 6-8 business days.
We describe a theory of ``multi-structures'', and explore logics and languages that are natural for the study of these mathematical objects. The text is written for upper level undergraduate... More > students and beginning graduate students in Computer Science, Computer Engineering, Mathematics, and Philosophy, although it is expected that students of other disciplines can benefit from the study of this subject as well. Multi-structures differ from the ``structures'' of classical logic and model theory in that the arity of a fundamental operation of a multi-structure is an ordered pair of nonnegative integers, such that the given operation is a function which maps ''vectors'' over the structure to other ''vectors'' over the same structure.< Less
The Kindred By Jason Finigan
eBook (ePub): $2.00
Download immediately.
The Kindred, genetically engineered human and animal hybrids, were originally created by Doctor Per Wolff to assist in the fight against terrorism which had spread across the world like a plague. But... More > to Doctor Wolff, the Kindred were more than mere soldiers. They were the next logical step in human evolution and the future of the human race itself. So strong were his convictions, in fact, that Lucas, his six-year-old son, was made a Kindred in order to cure him of the leukaemia that was slowly killing him. He was the first. Almost thirty years later, with the fight against the terrorists long over, the Kindred were finally recognized as persons under the law, allowing them to be full members of society. While on one of his frequent walks one cool spring night, Lucas Wolff, now thirty-two-years-old, unexpectedly came upon a despondent young man who, unbeknownst to him, would change the course of his life forever.< Less
Common Declarative Programming Paradigms By Homework Help Classof1
eBook (PDF): $1.99
Download immediately.
Engineering involves numerous paradigms and concepts that need to be used and applied at required places for making complete use of technology. One field of engineering that has gained significant... More > importance in the last few years is software engineering. Due to the development and adaptation of different technologies in different areas and fields, different software is used for different purposes. And thus, different programming methodologies and concepts become an important part of software engineering. One important aspect of software engineering is declarative programming, which helps in describing the logic behind computation without even explaining the flow of the controls used in programming. The main phenomenon that drives such programming is logic and thus helps in the simplification of other programs for better computer programming and better output. We would thus discuss the major paradigms of declarative programming.< Less
new forms and meditations for the pressurized libertine monk By j/j hastain
Paperback: $13.00
Ships in 3-5 business days
j/j hastain has conceived of a poetry that has created and is defined by its own language. A new language that disregards a traditional sense of time, that is indifferent to the historical. The... More > images and words that hastain use to form sentences to form lines to form language are carefully chosen to not only displace the notion of the logical, but also the reader’s sense of direction. One section in particular announces hastain’s aim: because the future for a hybrid would not necessarily be he or she but inherent bequeathing hastain is not only defining “the future for a hybrid” but also the future of the book you are about to interact with. And that definition is not gender specific. It does not revolve around gender or time like so much of language does in the current world. Instead that future is based on a gift, a donation from hastain to us. Consider what the gift is. An a-historical language.< Less
Three Little Bonzes: The Case Diary of Chinami Chiba By Takafumi Takada
eBook (ePub): $2.00
Download immediately.
Three young boys visited a resort during their summer vacation and happened to witness a boy running away after apparently his stealing watermelons. Following the boy, they strayed into a temple deep... More > in a mountain. It is said that the old temple was managed by raccoon dogs deceiving people. Then, they met three little bonzes, identical triplets, who had exactly the same look. Little Bonze A is always honest. Little Bonze B always lies. Little Bonze C alternately lies and tells the truth. Which little bonze knows the truth? This is a blessed hybrid of a logic puzzle and a mystery fiction by Takafumi Takada, one of very popular Japanese novelists. Most of the world should first experience such an amazing masterpiece. This work was first published in 2001 by Kodansha and translated in 2014 for The BBB: Breakthrough Bandwagon Books.< Less