Sebanyak 1565 item atau buku ditemukan

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

LEGAL EXPERT SYSTEM LES - 2 H. Yoshino , S. Kagayama , S. Ohta , M. Kitahara , H. Kondoh , M. Nakakawaji ... It was the 1st version of this system and it was developed as a reasoning system for substantial law ( Japanese civil law ) .

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992.

Indeterminacy

A Challenge to Logic-based Models of Legal Reasoning

An Essay on the Principle of Population

Influences on Malthus, Selections from Malthus' Work, Nineteenth-century Comment, Malthus in the Twenty-first Century

While millions face hunger, malnutrition, and starvation, the world s population is increasing by over 225,000 people per day, 80 million per year."

While millions face hunger, malnutrition, and starvation, the world's population is increasing by over 225,000 people per day, 80 million per year.

Self-Complementary Antennas

Principle of Self-Complementarity for Constant Impedance

An antenna with a self-complementary structure has a constant input impedance, independent of the source frequency and of the shape of the structure. The principle for this property of constant impedance was discovered by Professor Mushiake himself. This is the first study which comprehensively describes the principles of self-complementarity in antennas. It explains the theory which was the basis of the development of this principle and presents various engineering applications with an emphasis on extremely broadband self-complementary antennas. Self-Complementary Antennas will be of particular interest to antenna engineers working with extremely large bandwidths and more generally to electrical engineers with an interest in the development of the field since 1948.

The principle for this property of constant impedance was discovered by Professor Mushiake himself. This is the first study which comprehensively describes the principles of self-complementarity in antennas.

I Acted from Principle

The Civil War Diary of Dr. William M. McPheeters, Confederate Surgeon in the Trans-Mississippi

"At the start of the Civil War, Dr. William McPheeters was a distinguished physician in St. Louis, conducting unprecedented public-health research, forging new medical standards, and organizing the state's first professional associations. But he lived in a volatile border state. Under martial law, Union authorities kept close watch on known Confederate sympathizers. McPheeters was followed, arrested, threatened, and finally, in 1862, given an ultimatum: sign an oath of allegiance to the Union or go to federal prison. McPheeters "acted from principle" instead, fleeing by night to Confederate territory. He served as a surgeon under Gen. Sterling Price and his Missouri forces west of the Mississippi River, treating solders' diseases, malnutrition, and terrible battle wounds. Meanwhile, his wife and two children suffered harassment by Federal military officials, imprisonment in St. Louis, and legal and literal banishment." "From almost the moment of his departure, the doctor kept a diary. It was a pocket-size notebook which he made by folding sheets of pale blue paper in half and in which he wrote in miniature with his steel pen. It is the first known daily account by a Confederate medical officer in the Trans-Mississippi Department. The journal appears here in its complete and original form, exactly as the doctor first wrote it, with the addition of the editors' full annotation and introduction to each section."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved

McPheeters was followed, arrested, threatened, and finally, in 1862, given an ultimatum: sign an oath of allegiance to the Union or go to federal prison. McPheeters "acted from principle" instead, fleeing by night to Confederate territory.

Power and Principle

Memoirs of the National Security Advisor 1977-1981

Details an account of his experiences between 1977 and 1981, and an analysis of the achievements and consequences of United States foreign policy during those years

Details an account of his experiences between 1977 and 1981, and an analysis of the achievements and consequences of United States foreign policy during those years

Rupiah di tengah rentang sejarah

45 tahun uang Republik Indonesia, 1946-1991

History of monetary systems and development in Indonesia; collection of articles.

Badan ini bertugas mengadakan penilaian terhadap perusahaan - perusahaan yang akan menjual saham - sahamnya melalui pasar modal , menyelenggarakan bursa pasar modal yang efektif dan efisien dan terus menerus mengikuti perkembangan ...

Investasi Emas Agustus-Oktober 2015

Strategi Ber-Investasi Logam Mulia / Emas Edisi Agustus - Oktober 2015

Update: Sekarang tersedia metode pembayaran dengan pulsa! Caranya buka Play Store, pilih Akun Saya (My Account), pilih Metode Pembayaran (Add Payment Method), tambahkan Bill Carrier & nantinya akan dipotong dari pulsa ditambah 10 % persen harga. Bagaimana strategi ber-investasi emas selama agustus-oktober 2015, ada di buku ini. Dapatkan segera prospek keuntungan berdagang emas..

Bagaimana strategi ber-investasi emas selama agustus-oktober 2015, ada di buku ini. Dapatkan segera prospek keuntungan berdagang emas.

Beberapa pandangan tentang zakat

dipetik dari diskusi bulanan Pusat Pengkajian Islam, LPPM-UNISBA.

... seperti pabrik - pabrik , saham - saham industri dan perdagangan , surat - surat berharga , usaha - usaha angkutan darat , laut dan udara dan penghasilan dari jasa ... Sumbernya ialah al tsamrah , yakni hasilnya dari investasi .